dgit-repos-policy-debian: better error message when git-cat-file produces unexpected...

diff --git a/infra/dgit-repos-policy-debian b/infra/dgit-repos-policy-debian
index e56d09096719254c243e77d99193bedaf5d78414..7ad2c7d57b48145d095e68d8d80fa2e314f42bff 100755 (executable)
--- 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 "($taintid) $_ ?" unless m/^(\w+) (\w+) (\d+)\s/;
+       die "($taintid @objscatcmd) $_ ?" unless m/^(\w+) (\w+) (\d+)\s/;
        my ($objid,$objtype,$nbytes) = ($1,$2,$3);
 
        my $drop;