From cf58c22474af5fb33dcb56cb7e012e7dca5724c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=A1clav=20Val=C3=AD=C4=8Dek=20=28YCNet=29?= Date: Tue, 11 Jun 2019 23:45:03 +0200 Subject: [PATCH] Fix repo cloner tag shit --- checker/run-checker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/checker/run-checker b/checker/run-checker index 21e737d..dc236dd 100755 --- 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