diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/HPMHookGen/HPMHookGen.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/HPMHookGen/HPMHookGen.pl b/tools/HPMHookGen/HPMHookGen.pl index fa5bd1150..71bd8f245 100755 --- a/tools/HPMHookGen/HPMHookGen.pl +++ b/tools/HPMHookGen/HPMHookGen.pl @@ -375,7 +375,7 @@ foreach my $file (@files) { # Loop through the xml files push(@{ $ifs{$key} }, $if); } } - push($keys{$servertype}, $key) if $key2original{$key}; + push(@{ $keys{$servertype} }, $key) if $key2original{$key}; } foreach my $servertype (keys %keys) { |