diff options
| author | mdankov <mdankov@users.noreply.github.com> | 2015-09-07 01:37:18 +0300 |
|---|---|---|
| committer | mdankov <mdankov@users.noreply.github.com> | 2015-09-07 01:37:18 +0300 |
| commit | 6b9524b60b940f7600d1f052f5612a62a91055e7 (patch) | |
| tree | 76a0c2423615c8e2c68bdaabe0428d3f586c1b06 | |
| parent | 74a67e9bf63a4d636a8cfd8ff26b0ccc6a08a7e1 (diff) | |
| download | navit-6b9524b60b940f7600d1f052f5612a62a91055e7.tar.gz | |
Fix tag pushing to origin once again
| -rw-r--r-- | ci/update_version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh index ad91a83ee..bcc17dcca 100644 --- a/ci/update_version.sh +++ b/ci/update_version.sh @@ -24,7 +24,7 @@ if [ "$1" == "prepare" ] ; then fi if [ "$1" == "push" ] ; then - git log -1 --format="%H %d" | grep 'tag: R$TAG' + git log -1 --format="%H %d" | grep 'tag: $TAG' if [ $? -eq 0 ] ; then echo Pushing tag $TAG to origin... git push origin $TAG |