Fix repo cloner tag shit

2019-06-11 23:45:03 +02:00 · 2019-06-11 23:45:03 +02:00 · cf58c22474
commit cf58c22474
parent 9fca1de335
1 changed files with 1 additions and 1 deletions
--- a/checker/run-checker
+++ b/checker/run-checker
@ -144,7 +144,7 @@ do
 	[ -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)
-	if ! [ "$oldsha" = "$newsha" ] 
+	if ! [ "x$oldsha" = "x$newsha" ] 
 	then
 		# TAG_HASH = $newsha
 		# TAG_NAME = $tagname