Index: /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh
===================================================================
--- /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh	(revision 16879)
+++ /issm/trunk-jpl/externalpackages/petsc/install-3.1-win7.sh	(revision 16880)
@@ -14,4 +14,6 @@
 rm -rf petsc-3.1-p7
 
+export PETSC_DIR=`cygpath -u "$ISSM_DIR/externalpackages/petsc/src"`
+
 #configure
 cd src
@@ -20,5 +22,5 @@
 	--prefix="$ISSM_DIR/externalpackages/petsc/install" \
 	--PETSC_ARCH=cygwin-intel \
-	--PETSC_DIR="$ISSM_DIR/externalpackages/petsc/src" \
+	--PETSC_DIR=$PETSC_DIR \
 	--with-debugging=0 \
 	--with-mpi=0 \