Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20434)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20435)
@@ -133,4 +133,8 @@
 		else
 			echo "<testcase classname=\"externalpackages\" name=\"$PACKAGENAME\"/>" >> $EXTERNAL_TEST_FILE
+		fi
+		if [ "$ISSM_EXTERNALPACKAGES" == "none" ];
+		then
+			ISSM_COMPILATION = "yes"
 		fi
 		source $ISSM_DIR/etc/environment.sh