diff options
| author | jkoan <jkoan@users.noreply.github.com> | 2017-06-25 03:49:45 +0200 |
|---|---|---|
| committer | Pierre GRANDIN <pgrandin@users.noreply.github.com> | 2017-06-24 18:49:45 -0700 |
| commit | 1d82081603d4ea967db0bf2e5e982bdb97ba07ec (patch) | |
| tree | 2d4bf5e40644fe654439cfac97f52f7d12b4cb52 /ci | |
| parent | 12628850a99b25d0a8a61cde038cca8af4ef1b12 (diff) | |
| download | navit-1d82081603d4ea967db0bf2e5e982bdb97ba07ec.tar.gz | |
Use datecode insted of Tags as Android id (#274)
* Remove all git repo test and use date to get rid of all tags
* Del rests...
* Dont delete to much? :D
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/update_version.sh | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh deleted file mode 100644 index b34b0da73..000000000 --- a/ci/update_version.sh +++ /dev/null @@ -1,32 +0,0 @@ -if [ -z "$CIRCLE_BUILD_NUM" -o "$CIRCLE_PROJECT_USERNAME" != "navit-gps" ] ; then - exit -fi - -if ! git --no-pager log -n 1 ; then - echo "This script should be run from the versioned directory" - exit 1 -fi - -if [ "$CIRCLE_BRANCH" != "trunk" ] ; then - exit -fi - -TAG=R$(( 5658 + $CIRCLE_BUILD_NUM )) - -if [ "$1" == "prepare" ] ; then - git log -1 --format="%H %d" | grep 'tag: R' - if [ $? -eq 0 ] ; then - echo "This commit is already tagged." - exit - fi - git tag $TAG - exit -fi - -if [ "$1" == "push" ] ; then - git log -1 --format="%H %d" | grep "tag: $TAG" - if [ $? -eq 0 ] ; then - echo Pushing tag $TAG to origin... - git push origin $TAG - fi -fi |