2017-11-02 23:37:46 +00:00
|
|
|
#!/bin/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-11-02 23:37:46 +00:00
|
|
|
if [ "$RUN_STATIC_CHECKS" ]; then
|
2017-10-24 17:49:53 +00:00
|
|
|
make check
|
2017-12-14 20:29:55 +00:00
|
|
|
if [ "$TRAVIS_OS_NAME" == "linux" ]; then
|
2017-10-24 17:49:53 +00:00
|
|
|
make checkscripts
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
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
|