diff options
author | Kitson Kelly <me@kitsonkelly.com> | 2020-02-26 07:33:19 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-25 15:33:19 -0500 |
commit | be787d09d537d6c1a6846168613dd0defe069448 (patch) | |
tree | 04686868e791e845e35da69f0db027ee14aa9811 /tools/lint.py | |
parent | f47f3f96726a94dd2df5d68e3c786b5079089dd4 (diff) |
upgrade: TypeScript 3.8 (#4100)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/lint.py b/tools/lint.py index 3ce4d7b02..6adbf0b69 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -29,8 +29,12 @@ def eslint(): # Within the source dirs, eslint does its own globbing, taking into account # the exclusion rules listed in '.eslintignore'. source_globs = ["%s/*.{js,ts}" % d for d in source_dirs] + # Set NODE_PATH so we don't have to maintain a symlink in root_path. + env = os.environ.copy() + env["NODE_PATH"] = os.path.join(root_path, "third_party", "node_modules") run(["node", script, "--max-warnings=0", "--"] + source_globs, shell=False, + env=env, quiet=True) |