From: Uwe Köcher <koecher@hsu-hamburg.de>
Date: Tue, 27 Jan 2015 08:48:48 +0000 (+0100)
Subject: candi.sh: BUG FIX
X-Git-Tag: v0.4~20
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1cd6b8f701652fa32d7861f10d9674457e8f000b;p=candi.git

candi.sh: BUG FIX
---

diff --git a/candi.sh b/candi.sh
index 09a4909..eb01471 100755
--- 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