]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: bugfix, corrected if statement
authorUwe Köcher <koecher@hsu-hamburg.de>
Wed, 11 Nov 2015 13:22:39 +0000 (14:22 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Wed, 11 Nov 2015 13:22:39 +0000 (14:22 +0100)
candi.sh

index ad2326c85466f7d85d0f0318fd14c4a03028598a..7705bd2f20f2c367375c4b62a8e5ac896eb11fe6 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -659,7 +659,7 @@ else
 fi
 
 # Source default PACKAGES variables, if none were given so far
-if [ ! -z ${PACKAGES} ]; then
+if [ ! -z "${PACKAGES}" ]; then
     DEFAULT_PACKAGES=${PROJECT}/packages/default.packages
     if [ -e ${DEFAULT_PACKAGES} ]; then
         source ${DEFAULT_PACKAGES}

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.