diff options
Diffstat (limited to 'script/mkparamdefs.pl')
| -rw-r--r-- | script/mkparamdefs.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/script/mkparamdefs.pl b/script/mkparamdefs.pl index d9784201a3..eacdebd12a 100644 --- a/script/mkparamdefs.pl +++ b/script/mkparamdefs.pl @@ -85,7 +85,7 @@ sub print_header($$$) my ($file, $header_name,$generate_scope) = @_; $file->("#ifndef $header_name\n"); $file->("#define $header_name\n\n"); -$file->("/* This file was automatically generated by mkparmdefs.pl. DO NOT EDIT */\n\n"); +$file->("/* This file was automatically generated by mkparamdefs.pl. DO NOT EDIT */\n\n"); $file->("/**\n"); if ($generate_scope eq "GLOBAL") { $file->(" * This structure describes global (ie., server-wide) parameters.\n"); |