From e16c1ecf36ddf02ea9a147dd1c07da6a3bc832ec Mon Sep 17 00:00:00 2001 From: jim-p Date: Wed, 25 Nov 2015 12:13:45 -0500 Subject: Tweaks to the priv generation script --- tools/scripts/generate-privdefs.php | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'tools/scripts') 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 = "