diff options
author | Samuele Kaplun <kaplun@protonmail.com> | 2018-09-18 14:49:36 +0200 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2019-03-27 10:38:03 +0100 |
commit | 79f046f89e187312cec3715bffc1a8b101f57531 (patch) | |
tree | 08135f3fd3ff6ec0e0dc2aec4fa46e4c44a3d4a4 | |
parent | 7af270eb284c3bd00f6e5d80fbb0a2de9f89b693 (diff) | |
download | php-git-79f046f89e187312cec3715bffc1a8b101f57531.tar.gz |
Consider phpdbg as cli
* When configuring extensions, considers the PHPDBG SAPI as CLI thus
allowing e.g. to have the pcntl extension available within PHPDBG.
Signed-off-by: Samuele Kaplun <kaplun@protonmail.com>
-rw-r--r-- | acinclude.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/acinclude.m4 b/acinclude.m4 index 6b94af5dd7..15340b48a9 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -971,7 +971,7 @@ dnl ---------------------------------------------- Shared module dnl ---------------------------------------------- CLI static module [PHP_]translit($1,a-z_-,A-Z__)[_SHARED]=no case "$PHP_SAPI" in - cgi|embed[)] + cgi|embed|phpdbg[)] PHP_ADD_SOURCES($ext_dir,$2,$ac_extra,) EXT_STATIC="$EXT_STATIC $1;$ext_dir" ;; |