Add script to create JGit release
Change-Id: I620a209406dd021f3e8e1dafcfb381631dfd25d2 Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
This commit is contained in:
parent
4cb0bd8a43
commit
94953ac9ca
|
@ -0,0 +1,52 @@
|
|||
#!/bin/bash
|
||||
#
|
||||
# script to create a jgit release
|
||||
|
||||
# uncomment to switch on trace
|
||||
#set -x
|
||||
|
||||
# abort if a command hits an error
|
||||
set -e
|
||||
|
||||
export basePath=$(cd "$(dirname "$0")"; pwd)
|
||||
echo basePath $basePath
|
||||
|
||||
if [ -z $1 ]; then
|
||||
echo "
|
||||
Usage:
|
||||
$ release.sh <release version tag>
|
||||
|
||||
e.g. release.sh v3.4.0.201405051725-m7
|
||||
"
|
||||
exit
|
||||
fi
|
||||
|
||||
# trimmed git status
|
||||
export status=$(git status --porcelain)
|
||||
|
||||
if [ ! -z "$status" ];
|
||||
then
|
||||
echo "
|
||||
working tree is dirty -> can't create release
|
||||
"
|
||||
exit
|
||||
fi
|
||||
|
||||
MSG="JGit $1"
|
||||
|
||||
# tag release
|
||||
git tag -s -m "$MSG" $1
|
||||
|
||||
# update version numbers
|
||||
./tools/version.sh --release
|
||||
|
||||
# commit changed version numbers
|
||||
git commit -a -s -m "$MSG"
|
||||
|
||||
# move the tag to the version we release
|
||||
git tag -sf -m "$MSG" $1
|
||||
|
||||
# run the build
|
||||
mvn clean install
|
||||
mvn clean install -f org.eclipse.jgit.packaging/pom.xml
|
||||
|
Loading…
Reference in New Issue