diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-12 15:07:22 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-12-12 15:07:22 +0200 |
| commit | c5650d68785f7e6d5f780273846fe2d51424f550 (patch) | |
| tree | 8811279f2295b76e8ecdc240cdb6143d1184ef8d /etc/bootstrap/bbot-bootstrap-linux.sh | |
| parent | 3576347b6852604a04dc08414a7da442cce3b0c5 (diff) | |
Fix bug bootstrap scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-linux.sh')
| -rwxr-xr-x | etc/bootstrap/bbot-bootstrap-linux.sh | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-linux.sh b/etc/bootstrap/bbot-bootstrap-linux.sh index 9bcd29b..f9ed447 100755 --- a/etc/bootstrap/bbot-bootstrap-linux.sh +++ b/etc/bootstrap/bbot-bootstrap-linux.sh @@ -8,12 +8,17 @@ if ! jobs="$(nproc)"; then jobs=1 fi +# Note: bootstrap script options must come before build options. +# "$(dirname "$0")/bbot-bootstrap.sh" \ - --make make \ - --make "-j$jobs" \ - "$@" + "$@" \ + --make make \ + --make "-j$jobs" -# Wait a bit and shutdown. +# If success, wait a bit and shutdown. Otherwise leave the machine running +# for investigation. # -sleep 5 -sudo shutdown -h now +if test "$?" -eq 0; then + sleep 5 + sudo shutdown -h now +fi |