diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.sh b/tools/lint.sh index 5822a1cb6..54bc43f94 100755 --- a/tools/lint.sh +++ b/tools/lint.sh @@ -1,6 +1,5 @@ #!/bin/sh # TODO(ry) Rewrite this script in python for portability to Windows. -# TODO(ry) Call tslint here too. set -e cd `dirname "$0"`/.. ./third_party/cpplint/cpplint.py \ @@ -9,3 +8,4 @@ cd `dirname "$0"`/.. src/*.cc \ src/*.h \ src/include/*.h +node ./js/node_modules/.bin/tslint -p . |