diff --git a/travis/tools.sh b/travis/tools.sh index 7c04963..0584580 100644 --- a/travis/tools.sh +++ b/travis/tools.sh @@ -19,6 +19,9 @@ dump_output kill $PING_LOOP_PID END +# exits on fail +set -e + export PING_SLEEP=30s export WORKDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" export BUILD_OUTPUT=$WORKDIR/build.out