summaryrefslogtreecommitdiff
path: root/tools/lint.sh
diff options
context:
space:
mode:
authorRyan Dahl <ry@tinyclouds.org>2018-07-01 14:18:49 +0200
committerRyan Dahl <ry@tinyclouds.org>2018-07-01 15:28:36 +0200
commit9528ee4a42eb0729a4467ddaaa3be573d9053fa2 (patch)
tree14eb6e3b8c18821c822627135bc274c6f522bfc1 /tools/lint.sh
parent6830370c3e4f7d9f09c08fe76f8902193e027c1d (diff)
Add cpplint to third_party
Diffstat (limited to 'tools/lint.sh')
-rwxr-xr-xtools/lint.sh6
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