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
|
|
|
|
2017-01-25 18:54:08 +00:00
|
|
|
export PING_SLEEP=60
|
2016-08-17 04:09:18 +00:00
|
|
|
bash -c "while true; do echo \$(date) - building ...; sleep $PING_SLEEP; done" &
|
|
|
|
PING_LOOP_PID=$!
|
|
|
|
|
2017-09-09 00:42:42 +00:00
|
|
|
trap 'kill ${PING_LOOP_PID}' EXIT HUP INT QUIT TERM
|
2016-08-17 22:18:37 +00:00
|
|
|
|
2017-09-09 00:42:42 +00:00
|
|
|
make check
|
|
|
|
make checkscripts
|
2017-07-23 05:25:20 +00:00
|
|
|
make test
|
2016-08-17 04:09:18 +00:00
|
|
|
TEST_OUTPUT=$?
|
|
|
|
|
|
|
|
kill $PING_LOOP_PID
|
|
|
|
exit $TEST_OUTPUT
|