etc/bootstrap/bbot-bootstrap-linux.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#!/bin/sh

# file      : etc/bootstrap/bbot-bootstrap-linux.sh
# copyright : Copyright (c) 2014-2017 Code Synthesis Ltd
# license   : TBC; see accompanying LICENSE file

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"

# If success, wait a bit and shutdown. Otherwise leave the machine running
# for investigation.
#
if test "$?" -eq 0; then
  sleep 5
  sudo shutdown -h now
fi