summaryrefslogtreecommitdiff
path: root/tools/lint.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-xtools/lint.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.py b/tools/lint.py
index 452d44104..0ed422241 100755
--- a/tools/lint.py
+++ b/tools/lint.py
@@ -15,4 +15,4 @@ run([
"python", cpplint, "--filter=-build/include_subdir", "--repository=src",
"--extensions=cc,h", "--recursive", "src/."
])
-run(["node", tslint, "-p", ".", "--exclude", "js/msg_generated.ts"])
+run(["node", tslint, "-p", ".", "--exclude", "**/gen/**/*.ts"])