diff options
author | Ilia Alshanetsky <iliaa@php.net> | 2003-09-30 22:36:43 +0000 |
---|---|---|
committer | Ilia Alshanetsky <iliaa@php.net> | 2003-09-30 22:36:43 +0000 |
commit | 526a3d9ce269980f78f13107eaa1c792c48edf0e (patch) | |
tree | 30e2bd9841a2c56d8ec90014f12a9b00f49e9508 /ext/readline | |
parent | 3f415b2c4b8d19558449066878914bc9bf2bf338 (diff) | |
download | php-git-526a3d9ce269980f78f13107eaa1c792c48edf0e.tar.gz |
Always prefer user specified paths over the default /usr /usr/local.
This may fix compilation problems with on systems with multiple copies of
the same library.
Diffstat (limited to 'ext/readline')
-rw-r--r-- | ext/readline/config.m4 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ext/readline/config.m4 b/ext/readline/config.m4 index a22c09dee7..e5c2a057a0 100644 --- a/ext/readline/config.m4 +++ b/ext/readline/config.m4 @@ -9,7 +9,7 @@ PHP_ARG_WITH(readline,for readline support, [ --with-readline[=DIR] Include readline support (CLI/CGI only).]) if test "$PHP_READLINE" != "no"; then - for i in /usr/local /usr $PHP_READLINE; do + for i in $PHP_READLINE /usr/local /usr; do if test -f $i/include/readline/readline.h; then READLINE_DIR=$i fi @@ -56,7 +56,7 @@ if test "$PHP_READLINE" != "no"; then elif test "$PHP_LIBEDIT" != "no"; then - for i in /usr/local /usr $PHP_LIBEDIT; do + for i in $PHP_LIBEDIT /usr/local /usr; do if test -f $i/include/readline/readline.h; then LIBEDIT_DIR=$i fi |