src/ci/docker/dist-x86_64-linux/shared.sh

   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 }