]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: updated git build / git checkout version for stable build
authorUwe Köcher <koecher@hsu-hamburg.de>
Thu, 28 May 2015 21:50:35 +0000 (23:50 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Thu, 28 May 2015 21:50:35 +0000 (23:50 +0200)
candi.sh

index 009081fc6be604d552e9174ffb88a19c22a2916c..c9080bf9375e07374f5640bde82eb3005b591984 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -125,7 +125,7 @@ package_fetch () {
             git pull
             cd ..
         fi
-        if [ ${STABLE_BUILD} = true ] && [${VERSION} != "git"]; then
+        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.