diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-16 16:42:07 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-08-16 16:42:07 +0100 |
commit | b1e6ef82d508ae7c02c8444d57a6de5cdbf08de9 (patch) | |
tree | a9e99db42360eaa623f193c0571e13baf74f52b0 /infra | |
parent | d929eda43aa0a327d7a3b87c4441d412131e4617 (diff) |
Infrastructure: Improve an error message in dgit-repos-policy-debian.
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-repos-policy-debian | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian index fbf2d51..e56d090 100755 --- a/infra/dgit-repos-policy-debian +++ b/infra/dgit-repos-policy-debian @@ -360,7 +360,7 @@ END printdebug "|< ", $_ if $debuglevel>=2; next if m/^\w+ missing$/; - die "$_ ?" unless m/^(\w+) (\w+) (\d+)\s/; + die "($taintid) $_ ?" unless m/^(\w+) (\w+) (\d+)\s/; my ($objid,$objtype,$nbytes) = ($1,$2,$3); my $drop; |