2016-08-17 04:09:18 +00:00
|
|
|
#!/usr/bin/env bash
|
2016-08-19 23:32:41 +00:00
|
|
|
set -e
|
2016-08-17 04:09:18 +00:00
|
|
|
|
|
|
|
|
export PING_SLEEP=30
|
|
|
|
|
bash -c "while true; do echo \$(date) - building ...; sleep $PING_SLEEP; done" &
|
|
|
|
|
PING_LOOP_PID=$!
|
|
|
|
|
|
2016-08-17 22:18:37 +00:00
|
|
|
trap "kill $PING_LOOP_PID" EXIT HUP INT QUIT TERM
|
|
|
|
|
|
2016-08-17 04:09:18 +00:00
|
|
|
make test
|
|
|
|
|
TEST_OUTPUT=$?
|
|
|
|
|
|
|
|
|
|
kill $PING_LOOP_PID
|
|
|
|
|
exit $TEST_OUTPUT
|
