diff options
Diffstat (limited to 'ci/update_version.sh')
| -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 |