[rustc.git] / src / ci / docker / dist-various-1 / build-rumprun.sh

#!/usr/bin/env bash
set -ex

hide_output() {
  set +x
  on_err="
echo ERROR: An error was encountered with the build.
cat /tmp/build.log
exit 1
"
  trap "$on_err" ERR
  bash -c "while true; do sleep 30; echo \$(date) - building ...; done" &
  PING_LOOP_PID=$!
  $@ &> /tmp/build.log
  trap - ERR
  kill $PING_LOOP_PID
  rm /tmp/build.log
  set -x
}

git clone https://github.com/rumpkernel/rumprun
cd rumprun
git reset --hard 39a97f37a85e44c69b662f6b97b688fbe892603b
git submodule update --init

CC=cc hide_output ./build-rr.sh -d /usr/local hw
cd ..
rm -rf rumprun
Commit	Line	Data
abe05a73	1	#!/usr/bin/env bash
32a655c1 SL	2	set -ex
	3
	4	hide_output() {
	5	set +x
	6	on_err="
	7	echo ERROR: An error was encountered with the build.
	8	cat /tmp/build.log
	9	exit 1
	10	"
	11	trap "$on_err" ERR
	12	bash -c "while true; do sleep 30; echo \$(date) - building ...; done" &
	13	PING_LOOP_PID=$!
	14	$@ &> /tmp/build.log
	15	trap - ERR
	16	kill $PING_LOOP_PID
	17	rm /tmp/build.log
	18	set -x
	19	}
	20
	21	git clone https://github.com/rumpkernel/rumprun
	22	cd rumprun
	23	git reset --hard 39a97f37a85e44c69b662f6b97b688fbe892603b
	24	git submodule update --init
	25
	26	CC=cc hide_output ./build-rr.sh -d /usr/local hw
	27	cd ..
	28	rm -rf rumprun