summaryrefslogtreecommitdiff
path: root/infra/dgit-repos-server
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-17 02:46:58 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2019-07-17 03:24:51 +0100
commit420f315dfc9e7f9ce03cd82b5926a04f92d755ee (patch)
treebcbec7db8110b45fd7de6c41913ae672972a4dcc /infra/dgit-repos-server
parentb5e24ca3bdd371aa72e8bd095f86f0b3cbfbbee1 (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/dgit-repos-server')
-rwxr-xr-xinfra/dgit-repos-server3
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 ($_)";
}