Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 22024)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 22025)
@@ -149,5 +149,5 @@
 
 		./$PACKAGEINST &> compil.log
-		if [ $? -ne 0 ]; then
+		if [ $? -ne 0 ] && [ "$PACKAGENAME" != "boost" ]; then
 			echo "======================================================";
 			echo "    ERROR: installation of $PACKAGENAME failed        ";