blob: 5d84877aae9ab4a56b37926f0d161ac423a1c9f1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
#!/bin/sh
# file : etc/bootstrap/bbot-bootstrap-linux.sh
# copyright : Copyright (c) 2014-2018 Code Synthesis Ltd
# license : TBC; see accompanying LICENSE file
if ! jobs="$(nproc)"; then
jobs=1
fi
# Enable core dumps (into /tmp by default) for postmortem debugging.
#
cd /tmp
ulimit -c unlimited
# 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
|
