3 # script to create a jgit release
5 # uncomment to switch on trace
8 # abort if a command hits an error
11 export basePath
=$
(cd "$(dirname "$0")"; pwd)
12 echo basePath
$basePath
17 $ release.sh <release version tag>
19 e.g. release.sh v3.4.0.201405051725-m7
25 export status
=$
(git status
--porcelain)
27 if [ ! -z "$status" ];
30 working tree is dirty -> can't create release
38 git tag
-s -m "$MSG" $1
40 # update version numbers
41 .
/tools
/version.sh
--release
43 # commit changed version numbers
44 git commit
-a -s -m "$MSG"
46 # move the tag to the version we release
47 git tag
-sf -m "$MSG" $1