diff options
Diffstat (limited to 'tools/HPMHookGen/HPMHookGen.pl')
| -rwxr-xr-x | tools/HPMHookGen/HPMHookGen.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/HPMHookGen/HPMHookGen.pl b/tools/HPMHookGen/HPMHookGen.pl index 577536313..1d6a3e122 100755 --- a/tools/HPMHookGen/HPMHookGen.pl +++ b/tools/HPMHookGen/HPMHookGen.pl @@ -485,6 +485,8 @@ my $fileheader = <<"EOF"; * NOTE: This file was auto-generated and should never be manually edited, * as it will get overwritten. */ + +/* GENERATED FILE DO NOT EDIT */ EOF foreach my $servertype (keys %keys) { |