Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16666)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16667)
@@ -140,4 +140,6 @@
 				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