diff options
| author | Jani Taskinen <jani@php.net> | 2009-08-03 11:21:44 +0000 |
|---|---|---|
| committer | Jani Taskinen <jani@php.net> | 2009-08-03 11:21:44 +0000 |
| commit | 4bc219eadb78f5f34af77b2396160f43e7a99f15 (patch) | |
| tree | a97276b027554ede6c5f96eee2e644d182897a2a | |
| parent | f3d7bf9cf3ab8107177238e9c651cedf5b1d3ad0 (diff) | |
| download | php-git-4bc219eadb78f5f34af77b2396160f43e7a99f15.tar.gz | |
- Fixed bBug #48873 (Using both --with-libedit and --with-readline cause unknown option warning)
# This isn't worth of NEWS entry, it's just cosmetic
| -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 |