diff --git a/tools/cscs-scripts/build.sh b/tools/cscs-scripts/build.sh
index a6ddfd1c..41cedbc7 100755
--- 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