aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:19:16 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-10-19 15:19:16 +0200
commit7297a007189a8763c082fe75a1da83fcb8c0ed27 (patch)
treeff92d436422fa8204dae4e84491d008028c5738b
parent5e89331114c7163dee70b8b0acf1cf59131ee6ce (diff)
Adjust to generalized build.sh --make option semantics
-rwxr-xr-xbuildos8
1 files changed, 5 insertions, 3 deletions
diff --git a/buildos b/buildos
index 17eef72..0bd47d5 100755
--- a/buildos
+++ b/buildos
@@ -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