]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi.sh: added git option for checkout of a release tag
authorUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 08:36:58 +0000 (09:36 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Tue, 27 Jan 2015 08:36:58 +0000 (09:36 +0100)
candi.sh
deal.II/packages/dealii.package

index 91436cfab55e0edded0ed458d5773953b9ae107f..09a490924e6e2a261b32df9a717ab3a49a1535b5 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -125,6 +125,10 @@ package_fetch () {
             git pull
             cd ..
         fi
+        if [ ${STABLE_BUILD} = true ]
+            cd ${EXTRACTSTO}
+            git checkout ${VERSION}
+        fi
     elif [ ${PACKING} = "bzr" ]; then
         cd ${UNPACK_PATH}
         # Suitably branch or update bzr repositories
index a128587c7ca27809330798fae6ee49779f8fa102..85e902cb9739391a6029c5eee849641c37ca384c 100644 (file)
@@ -1,6 +1,6 @@
-VERSION=git
+VERSION=v8.2.1
 NAME=dealii.git
-EXTRACTSTO=deal.II-git
+EXTRACTSTO=deal.II-${VERSION}
 SOURCE=https://github.com/dealii/
 PACKING=git
 BUILDCHAIN=cmake

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.