com web/rmtools: Disable dev mode for mysql_xdevapi: data /config/pecl/exts.ini data/config/pickle/exts.ini
| From: | Anatol Belski | Date: | Tue, 23 Oct 2018 13:31:06 +0000 |
| Subject: | com web/rmtools: Disable dev mode for mysql_xdevapi: data /config/pecl/exts.ini data/config/pickle/exts.ini | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27380@lists.php.net to get a copy of this message | ||
Commit: 4087c0914448ab03e0308015db5d84a7dc788153
Author: Anatol Belski <ab@php.net> Tue, 23 Oct 2018 15:31:06 +0200
Parents: 5665a443209253ffc9c4c20411c235139d17a384
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=4087c0914448ab03e0308015db5d84a7dc788153
Log:
Disable dev mode for mysql_xdevapi
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 48fea17..e608df3 100644
--- a/data/config/pecl/exts.ini
+++ b/data/config/pecl/exts.ini
@@ -653,6 +653,7 @@ libs[]=pthreads
[mysql_xdevapi]
type=enable
+opts[]=--disable-dev-mode
libs[]=protobuf
libs[]=boost
diff --git a/data/config/pickle/exts.ini b/data/config/pickle/exts.ini
index 2215e82..9440d51 100644
--- a/data/config/pickle/exts.ini
+++ b/data/config/pickle/exts.ini
@@ -660,6 +660,7 @@ libs[]=pthreads
[mysql_xdevapi]
type=enable
+opts[]=--disable-dev-mode
libs[]=protobuf
libs[]=boost