[project @ 1998-12-03 11:34:54 by simonm]

[ghc-hetmet.git] / ghc / rts / gmp / configure

diff --git a/ghc/rts/gmp/configure b/ghc/rts/gmp/configure
index ad1c839..a0d4ac4 100644 (file)
--- a/ghc/rts/gmp/configure
+++ b/ghc/rts/gmp/configure
@@ -80,7 +80,7 @@ subdirs=
 target_alias=NOTARGET
 target_makefile_frag=
 undefs=NOUNDEFS
-version="$Revision: 1.1 $"
+version="$Revision: 1.2 $"
 x11=default
 
 ### we might need to use some other shell than /bin/sh for running subshells