diff options
Diffstat (limited to 'x11-toolkits/php-gtk2/files/patch-generator_generator.php')
-rw-r--r-- | x11-toolkits/php-gtk2/files/patch-generator_generator.php | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/x11-toolkits/php-gtk2/files/patch-generator_generator.php b/x11-toolkits/php-gtk2/files/patch-generator_generator.php deleted file mode 100644 index 151403caab2b..000000000000 --- a/x11-toolkits/php-gtk2/files/patch-generator_generator.php +++ /dev/null @@ -1,14 +0,0 @@ ---- generator/generator.php.orig Thu Apr 11 04:19:49 2002 -+++ generator/generator.php Thu Jul 10 23:08:48 2003 -@@ -27,6 +27,11 @@ - * - */ - -+$memlim= ini_get ('memory_limit'); -+if (!empty ($memlim) && 32 < (int)$memlim) { -+ ini_set ('memory_limit', '64M'); -+} -+ - set_time_limit(300); - - require "Getopt.php"; |