diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-20 13:32:21 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2017-10-20 13:32:21 +0200 |
| commit | d46a447c2998723ed5c9c02c7aa9009a82de196c (patch) | |
| tree | 918761ec96211033a47fe2f629817dd0b08be548 /etc/bootstrap/bbot-bootstrap-linux.sh | |
| parent | 1fcd5d1067254c40921df17b8de906c81934077a (diff) | |
Move shutdown to platform-specific scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-linux.sh')
| -rwxr-xr-x | etc/bootstrap/bbot-bootstrap-linux.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-linux.sh b/etc/bootstrap/bbot-bootstrap-linux.sh index 0aa408d..9bcd29b 100755 --- a/etc/bootstrap/bbot-bootstrap-linux.sh +++ b/etc/bootstrap/bbot-bootstrap-linux.sh @@ -12,3 +12,8 @@ fi --make make \ --make "-j$jobs" \ "$@" + +# Wait a bit and shutdown. +# +sleep 5 +sudo shutdown -h now |