2019-11-24 22:37:59 -08:00
|
|
|
#!/bin/bash
|
|
|
|
# Run a command, printing periodically to keep travis alive.
|
|
|
|
|
|
|
|
PID=$$
|
|
|
|
|
|
|
|
# Print output to avoid travis killing us
|
|
|
|
watchdog() {
|
2021-03-10 14:05:52 -08:00
|
|
|
for i in $(seq 2 2 500); do
|
2020-05-20 15:31:13 -05:00
|
|
|
sleep 120
|
2019-11-24 22:37:59 -08:00
|
|
|
echo "(running, ${i}m total)"
|
|
|
|
done
|
|
|
|
echo "TIMED OUT"
|
|
|
|
kill -SIGKILL $PID
|
|
|
|
}
|
|
|
|
|
2020-07-24 15:24:19 -07:00
|
|
|
watchdog 2>/dev/null &
|
2019-11-24 22:37:59 -08:00
|
|
|
WATCHDOG_PID=$!
|
|
|
|
|
|
|
|
time "$@"
|
|
|
|
|
|
|
|
CODE=$?
|
|
|
|
if [ $CODE != 0 ]; then
|
|
|
|
echo "FAILED $CODE"
|
|
|
|
kill $WATCHDOG_PID
|
|
|
|
exit $CODE
|
|
|
|
fi
|
|
|
|
|
|
|
|
kill $WATCHDOG_PID
|
|
|
|
exit 0
|