diff options
| -rwxr-xr-x | tools/lint.py | 2 | ||||
| -rw-r--r-- | tools/prebuilt.py | 2 | ||||
| -rw-r--r-- | tools/third_party.py | 8 |
3 files changed, 7 insertions, 5 deletions
diff --git a/tools/lint.py b/tools/lint.py index 92e58dbc2..bd65da09e 100755 --- a/tools/lint.py +++ b/tools/lint.py @@ -16,7 +16,7 @@ eslint = os.path.join(third_party_path, "node_modules", "eslint", "bin", os.chdir(root_path) run([ - "python", cpplint, "--filter=-build/include_subdir", + sys.executable, cpplint, "--filter=-build/include_subdir", "--repository=core/libdeno", "--extensions=cc,h", "--recursive", "core" ]) diff --git a/tools/prebuilt.py b/tools/prebuilt.py index 218ffae3c..f5e6c3e42 100644 --- a/tools/prebuilt.py +++ b/tools/prebuilt.py @@ -7,7 +7,7 @@ from third_party import tp, google_env def download_prebuilt(sha1_file): run([ - "python", + sys.executable, tp('depot_tools/download_from_google_storage.py'), '--platform=' + sys.platform, '--no_auth', diff --git a/tools/third_party.py b/tools/third_party.py index 02f0dbf68..a19dfc7eb 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -198,7 +198,7 @@ def download_from_google_storage(item, bucket): sha1_file = "v8/buildtools/linux64/%s.sha1" % item run([ - "python", + sys.executable, tp('depot_tools/download_from_google_storage.py'), '--platform=' + sys.platform, '--no_auth', @@ -254,13 +254,15 @@ def download_clang_format(): # Download clang by calling the clang update script. def download_clang(): - run(['python', tp('v8/tools/clang/scripts/update.py')], env=google_env()) + run([sys.executable, + tp('v8/tools/clang/scripts/update.py')], + env=google_env()) def maybe_download_sysroot(): if sys.platform.startswith('linux'): run([ - 'python', + sys.executable, os.path.join(root_path, 'build/linux/sysroot_scripts/install-sysroot.py'), '--arch=amd64' |