Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20396)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20397)
@@ -49,5 +49,8 @@
 		#/g' | sed -e 's/.*<\/a><\/td><td>\(.*\)<\/td><\/tr>.*/\1/' | grep -v '"The file was modified"' > $ISSM_DIR/TEMP
 	if [ -z "$(cat $ISSM_DIR/TEMP)" ] ; then
-		echo "ERROR: file list is empty!"
+		echo "ERROR: file list is empty! Triggering full install"
+		ISSM_EXTERNALPACKAGES="install"
+		ISSM_RECONFIGURE="yes"
+		ISSM_COMPILATION="yes"
 	else
 		echo "List of changed files"