diff options
-rw-r--r-- | ci/update_version.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh index bcc17dcca..f09d94e22 100644 --- a/ci/update_version.sh +++ b/ci/update_version.sh @@ -24,10 +24,9 @@ if [ "$1" == "prepare" ] ; then fi if [ "$1" == "push" ] ; then - git log -1 --format="%H %d" | grep 'tag: $TAG' + 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 - |