diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-19 15:19:16 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-19 15:19:16 +0200 |
commit | 7297a007189a8763c082fe75a1da83fcb8c0ed27 (patch) | |
tree | ff92d436422fa8204dae4e84491d008028c5738b | |
parent | 5e89331114c7163dee70b8b0acf1cf59131ee6ce (diff) |
Adjust to generalized build.sh --make option semantics
-rwxr-xr-x | buildos | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -637,9 +637,11 @@ function toolchain_bootstrap () # <toolchain-name> # Bootstrap, stage, and install using the provided build.sh script. Do # parallel bootstrap using make. # - if ! ./build.sh --make "$cpu_total" \ - --install-dir "$id" \ - --trust "$tt" \ + if ! ./build.sh --make make \ + --make "-j$cpu_total" \ + --timeout "$timeout" \ + --install-dir "$id" \ + --trust "$tt" \ g++; then info "failed to build $(pwd)" break |