diff options
Diffstat (limited to 'contrib/libgmp/configure')
| -rwxr-xr-x | contrib/libgmp/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/libgmp/configure b/contrib/libgmp/configure index 1554506225e1..5737ec51102d 100755 --- a/contrib/libgmp/configure +++ b/contrib/libgmp/configure @@ -80,7 +80,7 @@ subdirs= target_alias=NOTARGET target_makefile_frag= undefs=NOUNDEFS -version="$Revision: 1.218 (modified for gmp) $" +version="$Revision: 1.1.1.1 $" x11=default ### we might need to use some other shell than /bin/sh for running subshells |