]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi.sh: BUG FIX
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 08:48:48 +0000 (09:48 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 08:48:48 +0000 (09:48 +0100)
candi.sh

index 09a490924e6e2a261b32df9a717ab3a49a1535b5..eb01471988684067e29294e9be9a3e51cf4e09a6 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -125,7 +125,7 @@ package_fetch () {
             git pull
             cd ..
         fi
-        if [ ${STABLE_BUILD} = true ]
+        if [ ${STABLE_BUILD} = true ]; then
             cd ${EXTRACTSTO}
             git checkout ${VERSION}
         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.