aboutsummaryrefslogtreecommitdiff
path: root/etc/bootstrap/bbot-bootstrap-linux.sh
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-06-14 12:16:25 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-06-15 13:46:11 +0200
commit91364b58fa5cc224e80209e28e62613ca36dc4a9 (patch)
tree8b11e1ffca0b25682dfa20da5431c967b3f97175 /etc/bootstrap/bbot-bootstrap-linux.sh
parent2068fd01f5acebeea9f0b92fbc43426772b10538 (diff)
Command line interface redesign for bootstrap scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-linux.sh')
-rwxr-xr-xetc/bootstrap/bbot-bootstrap-linux.sh7
1 files changed, 2 insertions, 5 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-linux.sh b/etc/bootstrap/bbot-bootstrap-linux.sh
index 5d84877..d25944d 100755
--- a/etc/bootstrap/bbot-bootstrap-linux.sh
+++ b/etc/bootstrap/bbot-bootstrap-linux.sh
@@ -13,12 +13,9 @@ fi
cd /tmp
ulimit -c unlimited
-# Note: bootstrap script options must come before build options.
+# Note: bootstrap script options must come before build.sh options/arguments
#
-"$(dirname "$0")/bbot-bootstrap.sh" \
- "$@" \
- --make make \
- --make "-j$jobs"
+"$(dirname "$0")/bbot-bootstrap.sh" --make make --jobs "$jobs" "$@"
# If success, wait a bit and shutdown. Otherwise leave the machine running
# for investigation.