From 39034fbc4df45103e5548cec1507048741634768 Mon Sep 17 00:00:00 2001
From: Felix Stupp <felix.stupp@outlook.com>
Date: Sat, 1 Dec 2018 16:20:59 +0100
Subject: [PATCH] update.sh: Prune tags if removed on remote

---
 update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.sh b/update.sh
index ced7bb6..2ad3fee 100755
--- a/update.sh
+++ b/update.sh
@@ -9,7 +9,7 @@ fi
 PREFIX=release;
 CONF_SCRIPT="configure.sh";
 
-git fetch --tags > /dev/null;
+git fetch --tags --prune-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";