From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 29 Oct 2015 22:50:58 +0000 (-0400)
Subject: detect PETSc configure fail
X-Git-Tag: v0.7~7^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5983fd839e6ac0ebb321743585f849a71cdebece;p=candi.git

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 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 () {