diff options
Diffstat (limited to 'ext/gmp/config.m4')
| -rw-r--r-- | ext/gmp/config.m4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 index f996ae978f..8548811bb7 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -7,7 +7,7 @@ PHP_ARG_WITH(gmp, for GNU MP support, if test "$PHP_GMP" != "no"; then - for i in /usr/local /usr $PHP_GMP; do + for i in $PHP_GMP /usr/local /usr; do if test -f $i/include/gmp.h; then GMP_DIR=$i fi |