summaryrefslogtreecommitdiff
path: root/tools/lint.py
diff options
context:
space:
mode:
authorChristian Moritz <chrmoritz@gmail.com>2019-09-12 21:07:21 +0200
committerBert Belder <bertbelder@gmail.com>2019-09-15 22:12:12 +0200
commit9c282d6a0eea8404653edb5d61adfe429b05ec18 (patch)
treed9b179e30c1f6a462fa469166c3fdc48d042ac00 /tools/lint.py
parent40a6d830737d51e70e4b4290182452fb7da6e65e (diff)
Move GN root into //core/libdeno (#2943)
Diffstat (limited to 'tools/lint.py')
-rwxr-xr-xtools/lint.py7
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(),