src/ci/docker/host-x86_64/dist-various-1/build-rumprun.sh

   1 #!/usr/bin/env bash
   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 b04d42225a12a6fae57a78a9c1cf23642e46cd00
  24 git submodule update --init
  25
  26 # Disable -Werror, to avoid breaking the build with newer compilers.
  27 CC=cc NOGCCERROR=1 hide_output ./build-rr.sh -d /usr/local hw
  28 cd ..
  29 rm -rf rumprun