Fix configure phpdbg help output (#12013)

By default phpdbg is enabled (--enable-phpdbg) and user can get info in
the `./configure --help` output if they want to disable it like with the
other configuration options.
This commit is contained in:
Peter Kokot 2023-08-22 03:52:06 +02:00 committed by GitHub
parent e199104a35
commit adc4a48d26
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
PHP_ARG_ENABLE([phpdbg],
[for phpdbg support],
[AS_HELP_STRING([--enable-phpdbg],
[Build phpdbg])],
[AS_HELP_STRING([--disable-phpdbg],
[Disable building of phpdbg])],
[yes],
[yes])