From 5983fd839e6ac0ebb321743585f849a71cdebece Mon Sep 17 00:00:00 2001
From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 29 Oct 2015 18:50:58 -0400
Subject: [PATCH] detect PETSc configure fail

Only execute make if configure succeeds
---
 deal.II/packages/petsc.package | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/deal.II/packages/petsc.package b/deal.II/packages/petsc.package
index 2bde64b..8040532 100644
--- 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 () {
-- 
2.39.5