diff options
author | Bert Belder <bertbelder@gmail.com> | 2019-09-16 23:25:32 +0200 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2019-09-16 23:30:56 +0200 |
commit | 02cb34d8ad320360c800b9af7b941990c48b9742 (patch) | |
tree | f918c80c2ac5036bcda5ec739ff404c35b6be33b /tools/lint.py | |
parent | c6afe87febc92ca64e81c1d99a62daacf75dba0a (diff) |
Fix and enable linting of deno_typescript/*, tools/*, website/* (#2962)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/tools/lint.py b/tools/lint.py index 61c6c59ce..e71d5d0ef 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -38,12 +38,8 @@ def eslint(): print "eslint" script = os.path.join(third_party_path, "node_modules", "eslint", "bin", "eslint") - # TODO: Files in 'deno_typescript', 'tools' and 'website' directories are - # currently not linted, but they should. - source_files = git_ls_files( - root_path, - ["*.js", "*.ts", ":!:deno_typescript/", ":!:tools/", ":!:website/"]) # Find all *directories* in the main repo that contain .ts/.js files. + source_files = git_ls_files(root_path, ["*.js", "*.ts"]) 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'. |