diff --git a/scripts/maintenance/make_distribution.sh b/scripts/maintenance/make_distribution.sh index c29480e952..6e8bc169a5 100755 --- a/scripts/maintenance/make_distribution.sh +++ b/scripts/maintenance/make_distribution.sh @@ -177,10 +177,10 @@ if [ $do_git_commit = 1 ]; then if git rev-parse "$TAG" >/dev/null 2>&1; then echo "git tag $TAG exists!. Removing" git tag -d $TAG - git tag -d stir_$TAG + # git tag -d stir_$TAG fi git tag -a $TAG -m "version $VERSION"; - git tag -a stir_$TAG -m "version $VERSION"; + # git tag -a stir_$TAG -m "version $VERSION"; else echo "no git commit/tagging" fi