diff options
author | Michael Dankov <tryagain@navit-project.org> | 2015-09-06 12:58:13 +0300 |
---|---|---|
committer | Michael Dankov <tryagain@navit-project.org> | 2015-09-06 12:58:13 +0300 |
commit | 7acd7bc8cfcda38d80a724001afe75904303e867 (patch) | |
tree | 82952c9fece59ac0a2608683073fa083f4295c2f | |
parent | fcaad0adc97be0205fb3ddf0f5997b0591d074f0 (diff) | |
download | navit-7acd7bc8cfcda38d80a724001afe75904303e867.tar.gz |
-rw-r--r-- | ci/update_version.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh index cda1a839d..4376a8006 100644 --- a/ci/update_version.sh +++ b/ci/update_version.sh @@ -26,5 +26,6 @@ fi if [ "$1" == "push" ] ; then git push origin $TAG + git push origin $CIRCLE_SHA1:refs/heads/master$SUFFIX fi |