Redirect rev-parse to devnull

2018-03-24 14:15:50 +01:00
parent a39d4604b0
commit 4f80542ad3
1 changed files with 1 additions and 1 deletions
--- 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