com web/rmtools: Add config for parallel and sync with pickle: data/config/pecl/exts.ini data/config/pickle/exts.ini
| From: | Anatol Belski | Date: | Tue, 12 Feb 2019 18:43:29 +0000 |
| Subject: | com web/rmtools: Add config for parallel and sync with pickle: data/config/pecl/exts.ini data/config/pickle/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27808@lists.php.net to get a copy of this message | ||
Commit: 5de9c929f24ef9148fe10c2f54ce6872c309d261
Author: Anatol Belski <ab@php.net> Tue, 12 Feb 2019 10:43:29 -0800
Parents: f512f6a7b845d61cbd7f53fecdbf193b00fd23e6
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=5de9c929f24ef9148fe10c2f54ce6872c309d261
Log:
Add config for parallel and sync with pickle
Changed paths:
M data/config/pecl/exts.ini
M data/config/pickle/exts.ini
Diff:
diff --git a/data/config/pecl/exts.ini b/data/config/pecl/exts.ini
index 51d507c..0002f3c 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -687,3 +687,7 @@ libs[]=libmpdec
type=with
libs[]=pthreads
+[parallel]
+type=with
+libs[]=pthreads
+
diff --git a/data/config/pickle/exts.ini b/data/config/pickle/exts.ini
index 64479fe..25329fc 100644
--- a/data/config/pickle/exts.ini
+++ b/data/config/pickle/exts.ini
@@ -690,3 +690,11 @@ opts[]=
type=with
libs[]=libmpdec
+[sandbox]
+type=with
+libs[]=pthreads
+
+[parallel]
+type=with
+libs[]=pthreads
+