diff options
| author |  Philipp Wollermann <philwo@google.com> | 2017-07-27 18:01:12 +0200 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-07-28 10:44:44 +0200 |
| commit | 4c55898e71d30b32090bef31b43e408d942a24f6 (patch) | |
| tree | f7a510e7690536ab4721a46d7313daa5495990ad /scripts/bootstrap | |
| parent | 73527c3be5e40ff5a2f868440f0c4d3a940abec7 (diff) | |
Replace create_embedded_tools.sh with a faster Python version.
This is functionally equivalent, but ~30x faster on Windows, ~2x faster on macOS and ~1.5x faster on Linux.
RELNOTES: None.
Change-Id: Ib4a7e10400a3955e47772425acfce2d9530de462
PiperOrigin-RevId: 163346634
Diffstat (limited to 'scripts/bootstrap')
| -rwxr-xr-x | scripts/bootstrap/compile.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh index 494c1a109e..4280e003e0 100755 --- a/scripts/bootstrap/compile.sh +++ b/scripts/bootstrap/compile.sh @@ -345,6 +345,7 @@ function run_bazel_jar() { --ignore_unsupported_sandboxing \ --startup_time=329 --extract_data_time=523 \ --rc_source=/dev/null --isatty=1 \ + --build_python_zip \ "${client_env[@]}" \ --client_cwd="$(get_cwd)" \ "${@}" |