diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/lint.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/lint.sh b/tools/lint.sh index c14cfa50d..5822a1cb6 100755 --- a/tools/lint.sh +++ b/tools/lint.sh @@ -1,7 +1,11 @@ #!/bin/sh +# TODO(ry) Rewrite this script in python for portability to Windows. +# TODO(ry) Call tslint here too. set -e cd `dirname "$0"`/.. -cpplint --filter=-build/include_subdir --repository=src \ +./third_party/cpplint/cpplint.py \ + --filter=-build/include_subdir \ + --repository=src \ src/*.cc \ src/*.h \ src/include/*.h |