diff options
author | Michael Dankov <tryagain@navit-project.org> | 2015-09-06 18:29:08 +0300 |
---|---|---|
committer | Michael Dankov <tryagain@navit-project.org> | 2015-09-06 18:29:08 +0300 |
commit | 6abbc76bb66ee259744ebab64bbdd1952c38af8d (patch) | |
tree | 7a8e73529ef597478f2a1c113996d4c01659e775 | |
parent | 6c99b12c27f6f72c7bcfca864acce1c0dfbdc40b (diff) | |
download | navit-R6239.tar.gz |
update_version.sh fixR6239
-rw-r--r-- | ci/update_version.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh index 97fe6ae84..7a9cbd868 100644 --- a/ci/update_version.sh +++ b/ci/update_version.sh @@ -8,13 +8,13 @@ if ! git log -n 1 ; then exit 1 fi -if [ "$CIRCLE_BRANCH" != "trunk$SUFFIX"] ; then +if [ "$CIRCLE_BRANCH" != "trunk$SUFFIX" ] ; then exit fi TAG=R$(( 5658 + $CIRCLE_BUILD_NUM )) -if [ git log -1 --format="%H %d" | grep 'tag: R'] ; then +if [ git log -1 --format="%H %d" | grep 'tag: R' ] ; then echo "This commit is already tagged." exit fi |