diff --git a/checker/run-checker b/checker/run-checker index 81f33b1..21e737d 100755 --- a/checker/run-checker +++ b/checker/run-checker @@ -131,7 +131,7 @@ done find $DET_TAGS -type f | sort | while read tagname do tag=$(basename $tagname) - if ! git --git-dir="$repodir" rev-parse "tags/$tag" + if ! git --git-dir="$repodir" rev-parse "tags/$tag" > /dev/null 2>&1 then echo "Removing tag: $tag (was [$(cat $tagname)])" rm $tagname