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

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