diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-17 02:46:58 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-17 03:24:51 +0100 |
commit | 420f315dfc9e7f9ce03cd82b5926a04f92d755ee (patch) | |
tree | bcbec7db8110b45fd7de6c41913ae672972a4dcc /infra | |
parent | b5e24ca3bdd371aa72e8bd095f86f0b3cbfbbee1 (diff) |
dgit-repos-server: parsetag: Print a bit more debug about junk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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 ($_)"; } |