Force move release tag if it exists.

This commit is contained in:
Kris De Volder
2016-12-23 15:37:09 -08:00
parent 129221b064
commit 0b71fa1008

View File

@@ -26,5 +26,5 @@ echo "****************************************************************"
cd $sources
echo "Tagging release"
git tag ${extension_id}-${release_version}-RELEASE
git tag -f ${extension_id}-${release_version}-RELEASE
git clone $workdir/sts4 $workdir/sts4-out