Index: /issm/trunk-jpl/src/m/model/petscversion.py
===================================================================
--- /issm/trunk-jpl/src/m/model/petscversion.py	(revision 12765)
+++ /issm/trunk-jpl/src/m/model/petscversion.py	(revision 12766)
@@ -15,9 +15,9 @@
 	PETSC_VERSION=3
 
-	configfile=os.path.joint(issmdir(),'/config.h')
+	configfile=os.path.join(issmdir(),'config.h')
 	if not os.path.exists(configfile):
 		raise RuntimeError("File '%s' not found. ISSM has not been configured yet!" % configfile)
 
-	%go through the file, and recover the line we want
+	#go through the file, and recover the line we want
 	try:
 		fid=open(configfile,'r')
@@ -32,2 +32,4 @@
 	fid.close()
 
+	return PETSC_VERSION
+