com web/rmtools: Add config for ext/sandbox: data/config/pecl/exts.ini
| From: | Anatol Belski | Date: | Wed, 16 Jan 2019 14:45:01 +0000 |
| Subject: | com web/rmtools: Add config for ext/sandbox: data/config/pecl/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27705@lists.php.net to get a copy of this message | ||
Commit: 3f5885385ab3faed34752bb78c7036cb7ffeff44
Author: Anatol Belski <ab@php.net> Wed, 16 Jan 2019 15:45:01 +0100
Parents: 0485f003d0178eba59b6eb9a2e7f2f754e2ccee8
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=3f5885385ab3faed34752bb78c7036cb7ffeff44
Log:
Add config for ext/sandbox
Changed paths:
M data/config/pecl/exts.ini
Diff:
diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini
index 6dc85ea..51d507c 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -683,3 +683,7 @@ opts[]=
type=with
libs[]=libmpdec
+[sandbox]
+type=with
+libs[]=pthreads
+