detect PETSc configure fail

Only execute make if configure succeeds

diff --git a/deal.II/packages/petsc.package b/deal.II/packages/petsc.package
index 2bde64b19fab38fd7aafec23dc66247e08b11f3e..8040532ab6252f1e7656d9bdcdfa1b23a64406ea 100644 (file)
--- a/deal.II/packages/petsc.package
+++ b/deal.II/packages/petsc.package
@@ -49,9 +49,8 @@ package_specific_setup () {
     cd ${BUILDDIR}
     cp -rf ${UNPACK_PATH}/${EXTRACTSTO}/* .
     
-    ./configure --prefix=${INSTALL_PATH}/${NAME} ${CONFOPTS}
-    
-    make all install
+    ./configure --prefix=${INSTALL_PATH}/${NAME} ${CONFOPTS} && \    
+        make all install
 }
 
 package_specific_register () {