diff options
author | mdankov <mdankov@users.noreply.github.com> | 2015-09-03 00:33:12 +0300 |
---|---|---|
committer | Michael Dankov <tryagain@navit-project.org> | 2015-09-07 00:27:32 +0300 |
commit | 8010d315a3e9c077dd33099592bd85155f6eb154 (patch) | |
tree | 8c570cdaa2b1b0a63229a91e3a668da558732968 /ci | |
parent | 2c7794fe266b4db6d19c9f768bafa45af1ed73b3 (diff) | |
download | navit-8010d315a3e9c077dd33099592bd85155f6eb154.tar.gz |
Store "revision number" as Rnnnn tags
Store revision number derived from CircleCI build number in git tags
Rnnnn.
Use number derived from the last Rnnnn tag for android:versionCode
of AndroidManifest.xml.
Diffstat (limited to 'ci')
-rw-r--r-- | ci/update_version.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/ci/update_version.sh b/ci/update_version.sh new file mode 100644 index 000000000..dff4a906d --- /dev/null +++ b/ci/update_version.sh @@ -0,0 +1,31 @@ +if [ -z "$CIRCLE_BUILD_NUM" -o "$CIRCLE_PROJECT_USERNAME" != "navit-gps" ] ; then + exit +fi + +if ! git log -n 1 ; then + echo "This script should be run from the versioned directory" + exit 1 +fi + +if [ "$CIRCLE_BRANCH" != "trunk" ] ; then + exit +fi + +TAG=R$(( 5658 + $CIRCLE_BUILD_NUM )) + +git log -1 --format="%H %d" | grep 'tag: R' + +if [ $? -eq 0 ] ; then + echo "This commit is already tagged." + exit +fi + +if [ "$1" == "prepare" ] ; then + git tag $TAG + exit +fi + +if [ "$1" == "push" ] ; then + git push origin $TAG +fi + |