diff options
| -rw-r--r-- | ext/readline/config.m4 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index c4bb04bc77..2fb8ca42c3 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -8,6 +8,9 @@ PHP_ARG_WITH(libedit,for libedit readline replacement, if test "$PHP_LIBEDIT" = "no"; then PHP_ARG_WITH(readline,for readline support, [ --with-readline[=DIR] Include readline support (CLI/CGI only)]) +else + dnl "register" the --with-readline option to preven invalid "unknown configure option" warning + php_with_readline=no fi if test "$PHP_READLINE" && test "$PHP_READLINE" != "no"; then |