- Fixed bBug #48873 (Using both --with-libedit and --with-readline cause unknown...

# This isn't worth of NEWS entry, it's just cosmetic

diff --git a/ext/readline/config.m4 b/ext/readline/config.m4
index c4bb04bc77283467497af493ad75c12af023912c..2fb8ca42c3bb78ecd70b13ea2e10caad5c352d3a 100644 (file)
--- 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