Add set -e to tools.sh, refs #35

AndreMiras · Jun 27, 2017 · 7231565 · 7231565
1 parent e7bbf1c
commit 7231565
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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