Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16924)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16925)
@@ -197,4 +197,8 @@
 		make install
 	fi
+	if [ $? -ne 0 ]; then 
+		echo "ISSM_COMPILATION failed!"
+		exit 1
+	fi
 elif [ "$ISSM_COMPILATION" == "no" ]
 then