diff options
Diffstat (limited to 'tools/lint.sh')
-rwxr-xr-x | tools/lint.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/tools/lint.sh b/tools/lint.sh deleted file mode 100755 index 97dd9d8c9..000000000 --- a/tools/lint.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh -# TODO(ry) Rewrite this script in python for portability to Windows. -set -e -cd `dirname "$0"`/.. -./third_party/cpplint/cpplint.py \ - --filter=-build/include_subdir \ - --repository=src \ - src/*.cc \ - src/*.h -node third_party/node_modules/.bin/tslint -p . \ - --exclude js/msg_generated.ts |