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 9606b2f56d..2140aaf701 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -3,7 +3,7 @@ dnl $Id$ dnl PHP_ARG_WITH(gmp, for GNU MP support, -[ --with-gmp[=DIR] Include GNU MP support]) +[ --with-gmp[=DIR] Include GNU MP support]) if test "$PHP_GMP" != "no"; then |