This gets rid of silly warnings about compiling without debugging symbols.

Index: petsc-3.4.2/config/PETSc/utilities/debugging.py
===================================================================
--- petsc-3.4.2.orig/config/PETSc/utilities/debugging.py	2013-08-20 15:21:46.000000000 +0200
+++ petsc-3.4.2/config/PETSc/utilities/debugging.py	2013-08-20 15:21:46.000000000 +0200
@@ -26,17 +26,7 @@
     # should do error checking
     if self.framework.argDB['with-errorchecking']:
       self.addDefine('USE_ERRORCHECKING',1)
-    else:
-      self.logPrintBox('     WARNING! Compiling PETSc with NO error checking/exception handling, \n \
-                    this should only be done for timing and production runs where you DO NOT \n \
-                    use PETSc exceptions. All development should be done when configured using \n \
-                    --with-errorchecking=1')
-
     self.debugging = self.compilerFlags.debugging
-    if not self.debugging:
-      self.logPrintBox('          WARNING! Compiling PETSc with no debugging, this should \n \
-               only be done for timing and production runs. All development should \n \
-               be done when configured using --with-debugging=1')
 
   def configure(self):
     self.executeTest(self.configureDebugging)