diff options
Diffstat (limited to 'tools/HPMHookGen/HPMDataCheckGen.pl')
| -rw-r--r-- | tools/HPMHookGen/HPMDataCheckGen.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/HPMHookGen/HPMDataCheckGen.pl b/tools/HPMHookGen/HPMDataCheckGen.pl index 68751a4ad..e78a7bd93 100644 --- a/tools/HPMHookGen/HPMDataCheckGen.pl +++ b/tools/HPMHookGen/HPMDataCheckGen.pl @@ -47,6 +47,8 @@ foreach my $file (@files) { if ($foldername eq 'COMMON') { if ($filename eq 'MAPINDEX_H') { $plugintypes = 'SERVER_TYPE_CHAR|SERVER_TYPE_MAP'; + } elsif ($filename eq 'GRFIO_H') { + $plugintypes = 'SERVER_TYPE_MAP'; } else { $plugintypes = 'SERVER_TYPE_ALL'; } @@ -91,6 +93,8 @@ print FH <<"EOF"; * as it will get overwritten. */ +/* GENERATED FILE DO NOT EDIT */ + #ifndef HPM_DATA_CHECK_H #define HPM_DATA_CHECK_H |