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/gmp | |
| parent | e858d27888471107a4816d62033db785fab5f2da (diff) | |
| download | php-git-f1397d533969095577f9d11005015a1291b16568.tar.gz | |
Unified the configure messages.
Diffstat (limited to 'ext/gmp')
| -rw-r--r-- | ext/gmp/config.m4 | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/ext/gmp/config.m4 b/ext/gmp/config.m4 index 0a0848f397..2d32dd741e 100644 --- a/ext/gmp/config.m4 +++ b/ext/gmp/config.m4 @@ -1,11 +1,9 @@ +dnl dnl $Id$ -dnl config.m4 for extension gmp +dnl -dnl If your extension references something external, use with: - -PHP_ARG_WITH(gmp, for gmp support, -dnl Make sure that the comment is aligned: -[ --with-gmp Include gmp support]) +PHP_ARG_WITH(gmp, for GNU MP support, +[ --with-gmp Include GNU MP support]) if test "$PHP_GMP" != "no"; then |