Commit: 3f5885385ab3faed34752bb78c7036cb7ffeff44 Author: Anatol Belski <a...@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 + -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
