diff options
| author | Joe Watkins <krakjoe@php.net> | 2019-03-27 10:38:45 +0100 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-03-27 10:38:45 +0100 |
| commit | 218154e6958bc911ee2640baca10854cb2c33e20 (patch) | |
| tree | ab2bb6ae4d06ead269a13080cb8dd5cc8d9e5227 | |
| parent | eb405a2192bd8a0092c0795cd161d96b89f9d534 (diff) | |
| parent | 79f046f89e187312cec3715bffc1a8b101f57531 (diff) | |
| download | php-git-218154e6958bc911ee2640baca10854cb2c33e20.tar.gz | |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
Consider phpdbg as cli
| -rw-r--r-- | acinclude.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/acinclude.m4 b/acinclude.m4 index 688d2d761c..b0e71496a6 100644 --- a/acinclude.m4 +++ b/acinclude.m4 @@ -968,7 +968,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" ;; |