diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/HPMHookGen/HPMDataCheckGen.pl | 2 | ||||
| -rwxr-xr-x | tools/HPMHookGen/HPMHookGen.pl | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/HPMHookGen/HPMDataCheckGen.pl b/tools/HPMHookGen/HPMDataCheckGen.pl index 68751a4ad..f8712f329 100644 --- a/tools/HPMHookGen/HPMDataCheckGen.pl +++ b/tools/HPMHookGen/HPMDataCheckGen.pl @@ -91,6 +91,8 @@ print FH <<"EOF"; * as it will get overwritten. */ +/* GENERATED FILE DO NOT EDIT */ + #ifndef HPM_DATA_CHECK_H #define HPM_DATA_CHECK_H 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) { |