Changeset 20954

Timestamp:

07/19/16 16:12:30 (9 years ago)

Author:

Mathieu Morlighem

Message:

CHG: temporary fix

File:

• issm/trunk-jpl/jenkins/jenkins.sh (modified) (2 diffs)

issm/trunk-jpl/jenkins/jenkins.sh

@@ -52 +52 @@
         #cat changes | grep '="The file was modified"' | sed -e 's/.*<\/td><td><a>\(.*\)<\/a><\/td><td>.*/\1/' > $ISSM_DIR/TEMP
         cat changes | grep 'alt="The file was modified"' |sed -e 's/alt="The file was modified"/\
-                      /g' | sed -e 's/.*<\/a><\/td><td>\(.*\)<\/td><\/tr>.*/\1/' | grep -v '"The file was modified"'
+                      /g' | sed -e 's/.*<\/a><\/td><td>\(.*\)<\/td><\/tr>.*/\1/' | grep -v '"The file was modified"' > $ISSM_DIR/TEMP
 
         #Print list of files
@@ -92 +92 @@
                 ISSM_COMPILATION="no"
         fi
+        ISSM_COMPILATION="yes"
 
 else