diff options
author | Ry Dahl <ry@tinyclouds.org> | 2020-01-05 09:19:29 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-05 09:19:29 -0500 |
commit | 5f1df038fb1462607af3555fa7431c05ca484dce (patch) | |
tree | 0e819c1e1ec422b9573abc379c79fcbcc1cbd88c /tools/lint.py | |
parent | c41280a057c9ca300afe43f2cb4f576e050f8cde (diff) |
Replace libdeno with rusty_v8 (#3556)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 22 |
1 files changed, 2 insertions, 20 deletions
diff --git a/tools/lint.py b/tools/lint.py index 36ab04183..8d2eaed1e 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -4,7 +4,7 @@ import os import sys -from util import enable_ansi_colors, git_ls_files, libdeno_path, root_path, run +from util import enable_ansi_colors, git_ls_files, root_path, run from util import third_party_path from third_party import python_env @@ -12,28 +12,10 @@ from third_party import python_env def main(): enable_ansi_colors() os.chdir(root_path) - cpplint() eslint() pylint() -def cpplint(): - print "cpplint" - script = os.path.join(third_party_path, "cpplint", "cpplint.py") - source_files = git_ls_files(libdeno_path, ["*.cc", "*.h"]) - run([ - sys.executable, - script, - "--quiet", - "--filter=-build/include_subdir", - "--repository=" + libdeno_path, - "--", - ] + source_files, - env=python_env(), - shell=False, - quiet=True) - - def eslint(): print "eslint" script = os.path.join(third_party_path, "node_modules", "eslint", "bin", @@ -55,7 +37,7 @@ def eslint(): def pylint(): print "pylint" script = os.path.join(third_party_path, "python_packages", "pylint") - rcfile = os.path.join(third_party_path, "depot_tools", "pylintrc") + rcfile = os.path.join(root_path, "tools", "pylintrc") source_files = git_ls_files(root_path, ["*.py"]) run([sys.executable, script, "--rcfile=" + rcfile, "--"] + source_files, env=python_env(), |