Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
executable file 29 lines (25 sloc) 684 Bytes
#!/bin/bash
SD=`dirname $0`
pushd $SD > /dev/null
TAG=$1
if [ "$TAG" == "" ]; then
echo "syntax: $0 TAG"
echo " TAG : destination git tag for version or prerelease"
popd > /dev/null
exit
fi
if [[ "${TAG}" == *pre* ]]; then
git tag -m "Tag prerelease ${TAG}" "${TAG}"
else
GM=`cat ../configure.in | egrep '^GANGLIA_MAJOR_VERSION=' | cut -d '=' -f 2`
GN=`cat ../configure.in | egrep '^GANGLIA_MINOR_VERSION=' | cut -d '=' -f 2`
GU=`cat ../configure.in | egrep '^GANGLIA_MICRO_VERSION=' | cut -d '=' -f 2`
if [ "$TAG" = "${GM}.${GN}.${GU}" ]; then
git tag -m "Tag release ${TAG}" "${TAG}"
else
echo "version mismatch"
popd > /dev/null
exit 1
fi
fi
popd > /dev/null
Something went wrong with that request. Please try again.