diff options
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/lint.py b/tools/lint.py index 8d2eaed1e..3ce4d7b02 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -22,8 +22,8 @@ def eslint(): "eslint") # Find all *directories* in the main repo that contain .ts/.js files. source_files = git_ls_files(root_path, [ - "*.js", "*.ts", ":!:std/prettier/vendor/*", ":!:std/**/testdata/*", - ":!:std/**/node_modules/*", ":!:cli/compilers/*" + "*.js", "*.ts", ":!:std/**/testdata/*", ":!:std/**/node_modules/*", + ":!:cli/compilers/*" ]) source_dirs = set([os.path.dirname(f) for f in source_files]) # Within the source dirs, eslint does its own globbing, taking into account |