diff options
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/lint.py b/tools/lint.py index e71d5d0ef..ad6498541 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -39,7 +39,9 @@ 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"]) + source_files = git_ls_files( + root_path, + ["*.js", "*.ts", ":!:std/prettier/vendor/*", ":!:std/**/testdata/*"]) 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'. |