diff options
| -rwxr-xr-x | mdk-stage1/pci-resource/update-pci-ids.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mdk-stage1/pci-resource/update-pci-ids.pl b/mdk-stage1/pci-resource/update-pci-ids.pl index 517f06379..49d4ada9d 100755 --- a/mdk-stage1/pci-resource/update-pci-ids.pl +++ b/mdk-stage1/pci-resource/update-pci-ids.pl @@ -36,7 +36,7 @@ my %sanity_check = ); foreach $type (keys %t) { - print STDERR $type; + print STDERR "$type (checks: ", join('/', @{$sanity_check{$type}}), ") "; my @modulez; foreach $floppy (@{$t{$type}}) { foreach $marfile (glob("../../all.modules/*/${floppy}_modules.mar")) { |