diff options
Diffstat (limited to 'tools/third_party.py')
-rw-r--r-- | tools/third_party.py | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/third_party.py b/tools/third_party.py index b756e1fa3..2a2c34231 100644 --- a/tools/third_party.py +++ b/tools/third_party.py @@ -166,3 +166,13 @@ def download_clang(): run(['python', tp('v8/tools/clang/scripts/update.py'), '--if-needed'], env=google_env()) + + +def maybe_download_sysroot(): + if sys.platform.startswith('linux'): + run([ + 'python', + tp('v8/build/linux/sysroot_scripts/install-sysroot.py'), + '--arch=amd64' + ], + env=google_env()) |