diff options
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-server | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/dgit-repos-server b/infra/dgit-repos-server index 177829e..f75d7e5 100755 --- a/infra/dgit-repos-server +++ b/infra/dgit-repos-server @@ -591,7 +591,8 @@ sub parsetag_general ($$) { if ($dgititemfn->()) { } elsif (s/^distro\=(\S+) //) { $distrofn->($1); - } elsif (s/^[-+.=0-9a-z]\S* //) { + } elsif (s/^([-+.=0-9a-z]\S*) //) { + printdebug " parsetag ignoring unrecognised \`$1'\n"; } else { die "unknown dgit info in tag ($_)"; } |