Index: /issm/trunk-jpl/scripts/jenkins.sh
===================================================================
--- /issm/trunk-jpl/scripts/jenkins.sh	(revision 16596)
+++ /issm/trunk-jpl/scripts/jenkins.sh	(revision 16597)
@@ -103,7 +103,7 @@
 		cd $PACKAGENAME
 		echo "======================================================";
-		echo "       Installing $PACKAGENAME (see compil.log)       ";
+		echo "       Installing $PACKAGENAME                        ";
 		echo "======================================================";
-		./$PACKAGEINST > compil.log
+		./$PACKAGEINST |  compil.log
 		if [ $? -ne 0 ]; then
 			echo "======================================================";