Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20395)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20396)
@@ -46,9 +46,11 @@
 
 	#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