summaryrefslogtreecommitdiff
path: root/tools/lint.py
diff options
context:
space:
mode:
authorBert Belder <bertbelder@gmail.com>2019-09-16 23:25:32 +0200
committerBert Belder <bertbelder@gmail.com>2019-09-16 23:30:56 +0200
commit02cb34d8ad320360c800b9af7b941990c48b9742 (patch)
treef918c80c2ac5036bcda5ec739ff404c35b6be33b /tools/lint.py
parentc6afe87febc92ca64e81c1d99a62daacf75dba0a (diff)
Fix and enable linting of deno_typescript/*, tools/*, website/* (#2962)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-xtools/lint.py6
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'.