diff options
| author | Kitson Kelly <me@kitsonkelly.com> | 2018-07-27 16:51:19 +1000 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2018-07-27 10:06:29 -0400 |
| commit | 5d146ed742a6cf0c56c6964c1ed4bbb0e3241085 (patch) | |
| tree | 153da058022512f4c7dddf4f317508d37bf04035 /tools/lint.py | |
| parent | 6b49944da1e7b06aeba04b1c0ded8e3fdb3c436b (diff) | |
Ignore any generated TypeScript files
Diffstat (limited to 'tools/lint.py')
| -rwxr-xr-x | tools/lint.py | 2 |
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"]) |