diff options
author | lrknox <lrknox> | 2016-10-31 18:47:18 (GMT) |
---|---|---|
committer | lrknox <lrknox> | 2016-10-31 18:47:18 (GMT) |
commit | 7ac32e030f0ffa3e9e0651169c1edec5550ebecb (patch) | |
tree | 5d215243f99ae1dadcefe4431fffc6b10aa75bbd /bin | |
parent | 7a5b67e9b6b8eaa035e78ac5090d1b8958dad55f (diff) | |
download | hdf5-7ac32e030f0ffa3e9e0651169c1edec5550ebecb.zip hdf5-7ac32e030f0ffa3e9e0651169c1edec5550ebecb.tar.gz hdf5-7ac32e030f0ffa3e9e0651169c1edec5550ebecb.tar.bz2 |
Clone directly into "current".
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/snapshot | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/bin/snapshot b/bin/snapshot index 391f402..2bfcfd6 100755 --- a/bin/snapshot +++ b/bin/snapshot @@ -317,7 +317,7 @@ ReleaseDir=${ReleaseDir:=${BASEDIR}/${ReleaseDir_default}} HOSTNAME=`hostname | cut -f1 -d.` # no domain part HDFREPOS=hdf5 GIT_URL=ssh://git@bitbucket.hdfgroup.org:7999/hdffv/hdf5.git -GIT_BRANCH=hdf5_1_8 +GIT_BRANCH=hdf5_1_8_18 # Try finding a version of diff that supports the -I option too. DIFF=diff @@ -344,11 +344,10 @@ if [ "$cmd" = "all" -o -n "$cmdcheckout" ]; then # Create fresh clone of $GIT_URL from source repository in $BASEDIR/current (cd $BASEDIR; rm -rf current if test -n $GIT_BRANCH; then # checkout the branch - git clone $GIT_URL -b $GIT_BRANCH + git clone $GIT_URL -b $GIT_BRANCH current else # use the default (develop) version - git clone $GIT_URL - fi - mv $HDFREPOS current ) || exit 1 + git clone $GIT_URL current + fi) || exit 1 fi # Do source checkout |