diff options
author | Christian Moritz <chrmoritz@gmail.com> | 2019-09-12 21:07:21 +0200 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2019-09-15 22:12:12 +0200 |
commit | 9c282d6a0eea8404653edb5d61adfe429b05ec18 (patch) | |
tree | d9b179e30c1f6a462fa469166c3fdc48d042ac00 /tools/lint.py | |
parent | 40a6d830737d51e70e4b4290182452fb7da6e65e (diff) |
Move GN root into //core/libdeno (#2943)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-x | tools/lint.py | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tools/lint.py b/tools/lint.py index 29ed86fa9..61c6c59ce 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, root_path, run +from util import enable_ansi_colors, git_ls_files, libdeno_path, root_path, run from util import third_party_path from third_party import python_env @@ -20,14 +20,13 @@ def main(): def cpplint(): print "cpplint" script = os.path.join(third_party_path, "cpplint", "cpplint.py") - libdeno_dir = os.path.join(root_path, "core", "libdeno") - source_files = git_ls_files(libdeno_dir, ["*.cc", "*.h"]) + source_files = git_ls_files(libdeno_path, ["*.cc", "*.h"]) run([ sys.executable, script, "--quiet", "--filter=-build/include_subdir", - "--repository=" + libdeno_dir, + "--repository=" + libdeno_path, "--", ] + source_files, env=python_env(), |