1
0
mirror of https://github.com/php/php-src.git synced 2026-04-23 07:58:20 +02:00

- 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
This commit is contained in:
Jani Taskinen
2009-08-03 11:21:44 +00:00
parent 246e9f105d
commit cc77639000
+3
View File
@@ -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