From: Uwe Köcher 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