diff options
| author | foobar <sniper@php.net> | 2001-11-30 19:00:13 +0000 |
|---|---|---|
| committer | foobar <sniper@php.net> | 2001-11-30 19:00:13 +0000 |
| commit | f1397d533969095577f9d11005015a1291b16568 (patch) | |
| tree | b2bf7c7cbd6bcda7d16530d137968f9e7c85f71d /ext/readline | |
| parent | e858d27888471107a4816d62033db785fab5f2da (diff) | |
| download | php-git-f1397d533969095577f9d11005015a1291b16568.tar.gz | |
Unified the configure messages.
Diffstat (limited to 'ext/readline')
| -rw-r--r-- | ext/readline/config.m4 | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index ba136d2a8e..af75b5c636 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -1,13 +1,12 @@ +dnl dnl $Id$ -dnl config.m4 for extension readline -dnl don't forget to call PHP_EXTENSION(readline) +dnl PHP_ARG_WITH(libedit,for libedit readline replacement, [ --with-libedit[=DIR] Include libedit readline replacement.]) PHP_ARG_WITH(readline,for readline support, -[ --with-readline[=DIR] Include readline support. DIR is the readline - install directory.]) +[ --with-readline[=DIR] Include readline support.]) if test "$PHP_READLINE" != "no" -o "$PHP_LIBEDIT" != "no"; then if test "$PHP_SAPI" != "cgi"; then @@ -64,4 +63,4 @@ if test "$PHP_LIBEDIT" != "no"; then AC_DEFINE(HAVE_LIBEDIT, 1, [ ]) PHP_EXTENSION(readline, $ext_shared) -fi
\ No newline at end of file +fi |