diff options
| author | jim-p <jimp@pfsense.org> | 2015-11-25 12:13:45 -0500 |
|---|---|---|
| committer | jim-p <jimp@pfsense.org> | 2015-11-25 12:13:45 -0500 |
| commit | e16c1ecf36ddf02ea9a147dd1c07da6a3bc832ec (patch) | |
| tree | 412acdaabee4301daf25ee77517b7ec615244968 /tools | |
| parent | 7248ccd2db06df761909ada1e53ce18f217a6f33 (diff) | |
| download | pfsense-e16c1ecf36ddf02ea9a147dd1c07da6a3bc832ec.zip pfsense-e16c1ecf36ddf02ea9a147dd1c07da6a3bc832ec.tar.gz | |
Tweaks to the priv generation script
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/scripts/generate-privdefs.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/scripts/generate-privdefs.php b/tools/scripts/generate-privdefs.php index 8b50f5c..fb1f09b 100755 --- a/tools/scripts/generate-privdefs.php +++ b/tools/scripts/generate-privdefs.php @@ -109,7 +109,14 @@ if (!$fp) { $pdata; $pdata = "<?php\n"; $pdata .= "/*\n"; -$pdata .= " * priv.defs.inc - Generated privilege definitions\n"; +$pdata .= " * priv.defs.inc - Default Privilege Definitions\n"; +$pdata .= " * Generated by pfSense/tools/scripts/generate-privdefs.php\n"; +$pdata .= " *\n"; +$pdata .= " * ***************************************************\n"; +$pdata .= " * DO NOT EDIT THIS FILE. IT IS GENERATED BY A SCRIPT.\n"; +$pdata .= " * ***************************************************\n"; +$pdata .= " *\n"; +$pdata .= " * Text is pulled from metadata headers in the referenced files.\n"; $pdata .= " *\n"; $pdata .= " */\n"; $pdata .= "\n"; |
