From 274259219618e2bebafbe713b73d84d50674bc2c Mon Sep 17 00:00:00 2001
From: Felix Stupp <felix.stupp@outlook.com>
Date: Sat, 1 Dec 2018 16:33:13 +0100
Subject: [PATCH] Revert "update.sh: Prune tags if removed on remote"

This reverts commit 39034fbc4df45103e5548cec1507048741634768.
Revert because --prune-tags not available on git version 2.11
---
 update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.sh b/update.sh
index 2ad3fee..ced7bb6 100755
--- a/update.sh
+++ b/update.sh
@@ -9,7 +9,7 @@ fi
 PREFIX=release;
 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);
 if git verify-tag --raw "$TAG" 2>&1 | grep "TRUST_ULTIMATE" > /dev/null; then
     git checkout -q "$TAG";