diff options
-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 |