diff options
Diffstat (limited to 'src/tools/lint.sh')
| -rwxr-xr-x | src/tools/lint.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/lint.sh b/src/tools/lint.sh deleted file mode 100755 index 64a452f0a..000000000 --- a/src/tools/lint.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -cd `dirname "$0"`/.. -set -e -v -cpplint --filter=-build/include_subdir --repository=. *.cc *.h include/*.h |