From a39d4604b0ac78e2f3a1432e071fccada743d4e4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Val=C3=AD=C4=8Dek=20=28YCNet=29?=
 <hppro@swamp.ga>
Date: Fri, 23 Mar 2018 22:10:02 +0100
Subject: [PATCH] Disable debug, detect tags with rev-parse

---
 checker/run-checker | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/checker/run-checker b/checker/run-checker
index 81c7248..81f33b1 100755
--- a/checker/run-checker
+++ b/checker/run-checker
@@ -130,9 +130,8 @@ done
 # solve tags - remove nonexistent refs
 find $DET_TAGS -type f | sort |  while read tagname
 do
-	echo "Tagfile: $tagname"
-	tag=$(basename $tagname)
-	if ! gitListTags $repodir | grep -q "^$tag$"
+	tag=$(basename $tagname)	
+	if !  git --git-dir="$repodir" rev-parse "tags/$tag" 
 	then
 		echo "Removing tag: $tag (was [$(cat $tagname)])"
 		rm $tagname
@@ -142,7 +141,6 @@ done
 # tags that changed or were pushed as new
 gitListTags $repodir | while read tagname
 do
-	echo "Tagname: $tagname"
 	[ -f $DET_TAGS/$tagname ] || touch $DET_TAGS/$tagname
 	oldsha=$(cat $DET_TAGS/$tagname)
 	newsha=$(git --git-dir $repodir show-ref --tags $tagname | cut -d' ' -f1)