Project

General

Profile

Download (307 Bytes) Statistics
| Branch: | Revision:

git_sitools_idoc / flarecast / workspace / sitools-build / scripts / clone-tag.sh @ master

1
#! /bin/bash
2
#$1 correspond à l'url du dépot 
3
#$2 correspond au dossier destination du clone
4
#$3 correspond au nom du tag à récupérer
5
git clone ${1} ${2}
6
cd ${2}
7
#check that the tag exists
8
[ "`git tag | grep ^${3}$`" != "${3}" ] && echo "TAG ${3} does not exists, aborting" && exit 1;
9
git checkout ${3}