Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20412)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 20413)
@@ -75,5 +75,5 @@
 
 	#Do we need to recompile
-	if [ ! -z "$(cat $ISSM_DIR/TEMP | grep -e "\.cpp" -e "\.h" )" ] ; then
+	if [ ! -z "$(cat $ISSM_DIR/TEMP | grep -e "\.cpp" -e "\.h" )" ] || [ "$ISSM_RECONFIGURE" == "yes"] ; then
 		echo "  -- checking for recompilation... yes";
 		ISSM_COMPILATION="yes"