Changeset 20397

Timestamp:

03/30/16 20:47:47 (9 years ago)

Author:

Mathieu Morlighem

Message:

CHG: quick fix for windows

File:

• issm/trunk-jpl/jenkins/jenkins.sh (modified) (1 diff)

issm/trunk-jpl/jenkins/jenkins.sh ¶

@@ -49 +49 @@
                 #/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"