From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Thu, 31 Aug 2017 10:42:35 +0000 (+0200)
Subject: corrects BUILDDIR to find candi_successful_build for SKIP mode
X-Git-Tag: v0.8.5^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e1a47689e34eb645b99568d01f340456ade7043;p=candi.git

corrects BUILDDIR to find candi_successful_build for SKIP mode
---

diff --git a/candi.sh b/candi.sh
index f473b26..1b1ea1a 100755
--- a/candi.sh
+++ b/candi.sh
@@ -1072,7 +1072,9 @@ for PACKAGE in ${PACKAGES[@]}; do
     # Most packages extract to a directory named after the package
     default EXTRACTSTO=${NAME}
 
-    if [ ${SKIP} = maybe ] && [ ! -f ${BUILD_PATH}/${NAME}/candi_successful_build ]; then
+    # Check if the package can be set to SKIP:
+    default BUILDDIR=${BUILD_PATH}/${NAME}
+    if [ ${SKIP} = maybe ] && [ ! -f ${BUILDDIR}/candi_successful_build ]; then
         SKIP=false
     fi