Index: ../trunk-jpl/jenkins/jenkins.sh
===================================================================
--- ../trunk-jpl/jenkins/jenkins.sh	(revision 16666)
+++ ../trunk-jpl/jenkins/jenkins.sh	(revision 16667)
@@ -139,6 +139,8 @@
 				echo "======================================================";
 				echo "    ERROR: installation of $PACKAGENAME failed        ";
 				echo "======================================================";
+				#erase install directory, so that next time, we still try and compile this!
+				rm -rf install
 			fi
 			source $ISSM_DIR/etc/environment.sh
 		else