Index: /issm/trunk/cron/nightlyrun.sh
===================================================================
--- /issm/trunk/cron/nightlyrun.sh	(revision 6940)
+++ /issm/trunk/cron/nightlyrun.sh	(revision 6941)
@@ -119,9 +119,5 @@
 		if [ "$ep" == "petsc" ]
 		then
-			#For Petsc (2.3 for now)
-			cp configs/2.3.2-p3/$OS/* . 
-			#cp configs/3.0.0-p11/$OS/* . 
-			#cat install.sh | sed -e "s/version='2.3.2-p3'/version='3.0.0-p11'/g" > temp.sh
-			#mv temp.sh install.sh
+			cp configs/3.1-p7/$OS/* . 
 		else
 			cp configs/$OS/* .
@@ -168,6 +164,6 @@
 	make distclean
 	sh scripts/automakererun.sh
-	sh configs/$OS/$OS.sh.petsc2 #use petsc2 for now
-	#sh configs/$OS/$OS.sh.petsc3 #switch to petsc3 to debug
+	#sh configs/$OS/$OS.sh.petsc2 #use petsc2 for now
+	sh configs/$OS/$OS.sh.petsc3 #switch to petsc3 to debug
 
 	#4: compile and install ISSM