diff options
-rwxr-xr-x | Master/tlpkg/bin/check-tlpdb-coverage | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/check-tlpdb-coverage b/Master/tlpkg/bin/check-tlpdb-coverage index 4ab6510739c..8e177fa0c4e 100755 --- a/Master/tlpkg/bin/check-tlpdb-coverage +++ b/Master/tlpkg/bin/check-tlpdb-coverage @@ -59,10 +59,20 @@ sub main if ($#k > 1) { push @multicolls, $pkg; } } if (@notincolls) { - print "NOT COVERED PACKAGES: @notincolls\n"; + print "NOT COVERED PACKAGES:\n"; + for my $pkg (@notincolls) { + print "\t$pkg\n"; + } } if (@multicolls) { - print "MULTIPLE COVERED PACKAGES: @multicolls\n"; + print "MULTIPLE COVERED PACKAGES: \n"; + for my $pkg (@multicolls) { + print "\t$pkg: "; + for my $c (keys %{$found{$pkg}}) { + print "$c " if ($c ne "present"); + } + print "\n"; + } } } |