diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-14 12:16:25 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-06-15 13:46:11 +0200 |
| commit | 91364b58fa5cc224e80209e28e62613ca36dc4a9 (patch) | |
| tree | 8b11e1ffca0b25682dfa20da5431c967b3f97175 /etc/bootstrap/bbot-bootstrap-linux.sh | |
| parent | 2068fd01f5acebeea9f0b92fbc43426772b10538 (diff) | |
Command line interface redesign for bootstrap scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-linux.sh')
| -rwxr-xr-x | etc/bootstrap/bbot-bootstrap-linux.sh | 7 |
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. |