com web/rmtools: added config for judy: client/data/config/pecl/exts.ini
| From: | Stephen A. Zarkos | Date: | Tue, 17 Sep 2013 08:25:15 +0000 |
| Subject: | com web/rmtools: added config for judy: client/data/config/pecl/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-16672@lists.php.net to get a copy of this message | ||
Commit: 0cae8eeb7b5b4ec4a72eff5192c12393947c7c45
Author: Anatol Belski <ab@php.net> Tue, 17 Sep 2013 10:25:15 +0200
Parents: bd16a8070d9042f73a09f4a34bcdf26cc793565b
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=0cae8eeb7b5b4ec4a72eff5192c12393947c7c45
Log:
added config for judy
Changed paths:
M client/data/config/pecl/exts.ini
Diff:
diff --git a/client/data/config/pecl/exts.ini b/client/data/config/pecl/exts.ini
index 00f6a3e..ef3cae4 100644
--- a/client/data/config/pecl/exts.ini
+++ b/client/data/config/pecl/exts.ini
@@ -283,3 +283,9 @@ libs[]=fribidi
exts[]=
opts[]=
+[judy]
+type=with
+libs[]=libjudy
+exts[]=
+opts[]=
+