From 4bc219eadb78f5f34af77b2396160f43e7a99f15 Mon Sep 17 00:00:00 2001
From: Jani Taskinen <jani@php.net>
Date: Mon, 3 Aug 2009 11:21:44 +0000
Subject: [PATCH] - 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
---
 ext/readline/config.m4 | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.40.0