]> https://gitweb.dealii.org/ - candi.git/commitdiff
Updated packaging git to make use of the variable EXTRACTSTO instead of NAME
authorUwe Köcher <koecher@hsu-hamburg.de>
Mon, 28 Jul 2014 13:35:37 +0000 (15:35 +0200)
committerUwe Köcher <koecher@hsu-hamburg.de>
Mon, 28 Jul 2014 13:35:37 +0000 (15:35 +0200)
candi.sh

index 358dbf2ecc906f29e68f748ceb7bf516f06da986..bef8665ccfcee4464e8a16f77fbf1e9b57519a8d 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -118,10 +118,10 @@ package_fetch () {
     elif [ ${PACKING} = "git" ]; then
         cd ${UNPACK_PATH}
         # Suitably clone or update git repositories
-        if [ ! -d ${NAME} ]; then
+        if [ ! -d ${EXTRACTSTO} ]; then
             git clone ${SOURCE}${NAME}
         else
-            cd ${NAME}
+            cd ${EXTRACTSTO}
             git pull
             cd ..
         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.