Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20433)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20434)
@@ -116,5 +116,5 @@
 
 	#install if requested or if install does not exist
-	if [ "$ISSM_EXTERNALPACKAGES" == "install" ] || [ ! -d install ];
+	if [ "$ISSM_EXTERNALPACKAGES" == "install" ] || [ ! -d install ] || [ ! "$(ls -A install)" ];
 	then
 		echo "======================================================";