Index: ../trunk-jpl/jenkins/jenkins.sh
===================================================================
--- ../trunk-jpl/jenkins/jenkins.sh	(revision 20398)
+++ ../trunk-jpl/jenkins/jenkins.sh	(revision 20399)
@@ -44,6 +44,11 @@
 	#Get changes from jenkins itself (svn requires credentials)
 	wget http://ross.ics.uci.edu:8080/job/$JOB_NAME/$BUILD_NUMBER/changes > /dev/null 2>&1
 
+	#Print list of files
+	echo "   "
+	echo "List of changed files"
+	cat $ISSM_DIR/TEMP
+
 	#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