diff --git a/checker/detector-lib-git b/checker/detector-lib-git index 0282616..bb1980d 100644 --- a/checker/detector-lib-git +++ b/checker/detector-lib-git @@ -33,7 +33,6 @@ function detectorCheckFetchHead(){ function gitListTags(){ local dir=$1 git --git-dir="$dir" tag -l | cat - } function gitListBranches(){ diff --git a/checker/run-checker b/checker/run-checker index 8b44399..81c7248 100755 --- a/checker/run-checker +++ b/checker/run-checker @@ -130,6 +130,7 @@ 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$" then @@ -141,6 +142,7 @@ 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)