Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16664)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 16665)
@@ -114,7 +114,14 @@
 			#ok, we want to skip, unless the package is not installed: 
 			if [ -d install ]; then 
-				echo "For $PACKAGENAME: svn current_version  is $current_version and last changed version is $last_changed_version"
-				echo "and install directory exists, so skipping install of $PACKAGENAME"
-				install_test=0;
+				#could be empty, signaling a failed previous install: 
+				if [ "$(ls -A install)" ];then
+					echo "For $PACKAGENAME: svn current_version  is $current_version and last changed version is $last_changed_version"
+					echo "and install directory exists, so skipping install of $PACKAGENAME"
+					install_test=0;
+				else
+					echo "For $PACKAGENAME: svn current_version  is $current_version and last changed version is $last_changed_version"
+					echo "and install directory exists, however, it is empty, so triggering install of $PACKAGENAME"
+					install_test=1;
+				fi
 			else
 				echo "For $PACKAGENAME: svn current_version  is $current_version and last changed version is $last_changed_version"