diff options
Diffstat (limited to 'tools/lint.py')
| -rwxr-xr-x | tools/lint.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/lint.py b/tools/lint.py index beb1a180c..f387bc96e 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -39,9 +39,10 @@ def eslint(): script = os.path.join(third_party_path, "node_modules", "eslint", "bin", "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/*"]) + source_files = git_ls_files(root_path, [ + "*.js", "*.ts", ":!:std/prettier/vendor/*", ":!:std/**/testdata/*", + ":!: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 # the exclusion rules listed in '.eslintignore'. |