summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuele Kaplun <kaplun@protonmail.com>2018-09-18 14:49:36 +0200
committerJoe Watkins <krakjoe@php.net>2019-03-27 10:38:03 +0100
commit79f046f89e187312cec3715bffc1a8b101f57531 (patch)
tree08135f3fd3ff6ec0e0dc2aec4fa46e4c44a3d4a4
parent7af270eb284c3bd00f6e5d80fbb0a2de9f89b693 (diff)
downloadphp-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.m42
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"
;;