diff options
Diffstat (limited to 'tools/third_party.py')
| -rw-r--r-- | tools/third_party.py | 8 |
1 files changed, 5 insertions, 3 deletions
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' |