[rustc.git] / src / ci / docker / dist-x86_64-linux / shared.sh

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
  set -x
}
Commit	Line	Data
32a655c1 SL	1	hide_output() {
	2	set +x
	3	on_err="
	4	echo ERROR: An error was encountered with the build.
	5	cat /tmp/build.log
	6	exit 1
	7	"
	8	trap "$on_err" ERR
	9	bash -c "while true; do sleep 30; echo \$(date) - building ...; done" &
	10	PING_LOOP_PID=$!
	11	$@ &> /tmp/build.log
	12	trap - ERR
	13	kill $PING_LOOP_PID
	14	set -x
	15	}