Revert "update.sh: Prune tags if removed on remote"

This reverts commit 39034fbc4d.
Revert because --prune-tags not available on git version 2.11
master release-2018-12-01-16-34
Felix Stupp 6 years ago
parent 39034fbc4d
commit 2742592196
Signed by: zocker
GPG Key ID: 93E1BD26F6B02FB7

@ -9,7 +9,7 @@ fi
PREFIX=release; PREFIX=release;
CONF_SCRIPT="configure.sh"; CONF_SCRIPT="configure.sh";
git fetch --tags --prune-tags > /dev/null; git fetch --tags > /dev/null;
TAG=$(git tag --list | grep "^$PREFIX-" | sort -r | head -n 1); TAG=$(git tag --list | grep "^$PREFIX-" | sort -r | head -n 1);
if git verify-tag --raw "$TAG" 2>&1 | grep "TRUST_ULTIMATE" > /dev/null; then if git verify-tag --raw "$TAG" 2>&1 | grep "TRUST_ULTIMATE" > /dev/null; then
git checkout -q "$TAG"; git checkout -q "$TAG";

Loading…
Cancel
Save