Index: /issm/trunk-jpl/m4/issm_options.m4
===================================================================
--- /issm/trunk-jpl/m4/issm_options.m4	(revision 14408)
+++ /issm/trunk-jpl/m4/issm_options.m4	(revision 14409)
@@ -517,7 +517,10 @@
 
 		PETSC_VERSION_DATE_HG=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_DATE_HG" | sed 's/#define PETSC_VERSION_DATE_HG//' | sed 's/ //g' | sed -e 's/\"//g' `
+		PETSC_RELEASE=`cat $PETSC_ROOT/include/petscversion.h | grep "#define PETSC_VERSION_RELEASE" | sed 's/#define PETSC_VERSION_RELEASE//' | sed 's/ //g'`
+
 		AC_MSG_CHECKING(whether petsc is the development version)
-		if test x$PETSC_VERSION_DATE_HG = xunknown; then
-			AC_DEFINE([_HAVE_PETSCDEV_],[1],[with PETSc-dev])
+		dnl if test x$PETSC_VERSION_DATE_HG = xunknown; then
+		if test "$PETSC_RELEASE" = "0"; then
+		   AC_DEFINE([_HAVE_PETSCDEV_],[1],[with PETSc-dev])
 			AC_MSG_RESULT(yes)
 		else