Index: /issm/trunk-jpl/externalpackages/petsc/install-3.14-win-msys2-mingw-msmpi.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.14-win-msys2-mingw-msmpi.sh	(revision 26093)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.14-win-msys2-mingw-msmpi.sh	(revision 26094)
@@ -83,11 +83,2 @@
 make
 make install
-
-# # NOTE:
-# # - Hack to recover from failed installation (appears to happen only on Windows 
-# #	when reproducing symbolic links in destination directory) rather than 
-# #	trying to patch src/config/install.py
-# #
-# if [ $? -ne 0 ]; then
-# 	make install
-# fi
Index: /issm/trunk-jpl/jenkins/jenkins.sh
===================================================================
--- /issm/trunk-jpl/jenkins/jenkins.sh	(revision 26093)
+++ /issm/trunk-jpl/jenkins/jenkins.sh	(revision 26094)
@@ -369,5 +369,5 @@
 		done
 		echo "DONE!"
-	elif [[ "${OS}" == MINGW* ]]; then
+	elif [[ ${MINGW} -eq 1 ]]; then
 		# NOTE: The PID query used here may work as well on Cygwin. If so, combine the two conditional blocks.
 		sleep 5;