Index: /issm/trunk-jpl/scripts/jenkins.sh
===================================================================
--- /issm/trunk-jpl/scripts/jenkins.sh	(revision 16597)
+++ /issm/trunk-jpl/scripts/jenkins.sh	(revision 16598)
@@ -105,5 +105,5 @@
 		echo "       Installing $PACKAGENAME                        ";
 		echo "======================================================";
-		./$PACKAGEINST |  compil.log
+		./$PACKAGEINST |  tee compil.log
 		if [ $? -ne 0 ]; then
 			echo "======================================================";