]> https://gitweb.dealii.org/ - candi.git/commitdiff
corrects BUILDDIR to find candi_successful_build for SKIP mode
authorUwe Köcher <koecher@hsu-hamburg.de>
Thu, 31 Aug 2017 10:42:35 +0000 (12:42 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Thu, 31 Aug 2017 10:42:35 +0000 (12:42 +0200)
candi.sh

index f473b26315d29a2388df0c1d923c86358fe73fc2..1b1ea1a4100b3b9f16d9e22a493eaa1c05dd58eb 100755 (executable)
--- 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
     

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.