summaryrefslogtreecommitdiff
path: root/tools/lint.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/lint.sh')
-rwxr-xr-xtools/lint.sh11
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