===================================================================
RCS file: /home/cvs/OpenXM_contrib2/windows/extract_gc.sh,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -p -r1.4 -r1.5
--- OpenXM_contrib2/windows/extract_gc.sh	2011/12/15 17:52:07	1.4
+++ OpenXM_contrib2/windows/extract_gc.sh	2012/05/09 06:17:13	1.5
@@ -1,9 +1,9 @@
 #!/bin/bash
-# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.3 2009/11/24 05:00:23 ohara Exp $
+# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.4 2011/12/15 17:52:07 ohara Exp $
 (set -o igncr) 2>/dev/null && set -o igncr;#
 OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
 OpenXM_dist=${OpenXM_HOME}/../OpenXM_dist
-GC=gc-7.1
+GC=gc-7.2alpha6
 GC_TARGZ=${GC}.tar.gz
 GC_PATCH=gc-7.0-risa.diff
 PARI_TARGZ=pari-2.0.17.beta.tgz