diff options
| author | foobar <sniper@php.net> | 2005-11-18 15:07:39 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2005-11-18 15:07:39 +0000 |
| commit | 7b073bbad86ae080a80cd09a5805f5a3dda02524 (patch) | |
| tree | 263e30a089de8ed1e9f4771b018b95d880eee1bb | |
| parent | 8b4e1abdb04cc79b55520567a5585caa05084d11 (diff) | |
| download | php-git-7b073bbad86ae080a80cd09a5805f5a3dda02524.tar.gz | |
- Make sure --with-readline is used only when --with-libedit is not used.
| -rw-r--r-- | ext/readline/config.m4 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index 818eb27722..2ec104c3d4 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -5,8 +5,10 @@ dnl PHP_ARG_WITH(libedit,for libedit readline replacement, [ --with-libedit[=DIR] Include libedit readline replacement (CLI/CGI only)]) -PHP_ARG_WITH(readline,for readline support, -[ --with-readline[=DIR] Include readline support (CLI/CGI only)]) +if test "$PHP_LIBEDIT" = "no"; then + PHP_ARG_WITH(readline,for readline support, + [ --with-readline[=DIR] Include readline support (CLI/CGI only)]) +fi if test "$PHP_READLINE" != "no"; then for i in $PHP_READLINE /usr/local /usr; do |