]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi.sh: added additional switch for not checking out a release tag with git
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 11:41:09 +0000 (12:41 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 11:41:09 +0000 (12:41 +0100)
candi.sh

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