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