]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: unsets LOAD variable appropriately
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 16:06:36 +0000 (18:06 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 6 Oct 2015 16:06:36 +0000 (18:06 +0200)
candi.sh

index 43c935e0e779379c8da8f7b1283d48057f8914a6..ba25f5f80c2da6c639ee6eb388378b1b7949eaff 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -766,6 +766,7 @@ for PACKAGE in ${PACKAGES[@]}; do
         if [ ! -z "${LOAD}" ]; then
             # Let the user know we're loading the current package
             cecho ${GOOD} "Loading ${NAME}"
+            unset LOAD
         else
             # Let the user know we're skipping the current package
             cecho ${GOOD} "Skipping ${NAME}"

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.