Changeset 20396

Timestamp:

03/30/16 20:35:18 (9 years ago)

Author:

Mathieu Morlighem

Message:

CHG: added cat of changes

File:

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

issm/trunk-jpl/jenkins/jenkins.sh

@@ -46 +46 @@
 
         #Process html page and get the list of files that has changed (tricky...)
-
         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"' > $ISSM_DIR/TEMP
         if [ -z "$(cat $ISSM_DIR/TEMP)" ] ; then
                 echo "ERROR: file list is empty!"
+        else
+                echo "List of changed files"
+                cat TEMP
         fi