Index: /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp
===================================================================
--- /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25641)
+++ /issm/trunk-jpl/src/c/classes/Params/Parameters.cpp	(revision 25642)
@@ -686,8 +686,15 @@
 
 	#ifdef _HAVE_PETSC_
-		/*In case we are using PETSC, we do not rely on issmoptions. Instead, we dump issmoptions into the Petsc
-		 * options database: */
+		/* In case we are using PETSC, we do not rely on issmoptions. Instead, 
+		   we dump issmoptions into the Petsc options database.
+
+		   TODO: Remove the check on !WINDOWS when GNU-like Windows build has 
+		   been implemented
+		 */
+
+		#if (!WINDOWS)
 		#if (_PETSC_MINOR_<14)
 		PetscOptionsSetFromOptions(NULL);
+		#endif
 		#endif
 		#if (_PETSC_MINOR_>=7)