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-macos.sh | |
parent | 1fcd5d1067254c40921df17b8de906c81934077a (diff) |
Move shutdown to platform-specific scripts
Diffstat (limited to 'etc/bootstrap/bbot-bootstrap-macos.sh')
-rwxr-xr-x | etc/bootstrap/bbot-bootstrap-macos.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/bootstrap/bbot-bootstrap-macos.sh b/etc/bootstrap/bbot-bootstrap-macos.sh index e7f7be8..0aa4ec3 100755 --- a/etc/bootstrap/bbot-bootstrap-macos.sh +++ b/etc/bootstrap/bbot-bootstrap-macos.sh @@ -17,3 +17,8 @@ fi --make make \ --make "-j$jobs" \ "$@" + +# Wait a bit and shutdown. +# +sleep 5 +sudo shutdown -h now |