Exit with error if build failed (#69)

Fixes #51.
GridTools · Nov 21, 2017 · 718a7cc · 718a7cc
1 parent a28605a
commit 718a7cc
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/tools/cscs-scripts/build.sh b/tools/cscs-scripts/build.sh
@@ -235,6 +235,12 @@ else
     make install -j1
 fi
 
+ret=$?
+if [ ${ret} -ne 0 ]; then
+    exit ${ret}
+fi
+
+
 # Run tests
 if [ "$ARG_RUN_TESTS" == "true" ]; then
 chmod  +x run_tests.sh