===================================================================
RCS file: /home/cvs/OpenXM_contrib2/windows/extract_gc.sh,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- OpenXM_contrib2/windows/extract_gc.sh	2018/09/09 07:39:14	1.9
+++ OpenXM_contrib2/windows/extract_gc.sh	2019/03/28 08:03:07	1.10
@@ -1,12 +1,12 @@
 #!/bin/bash
-# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.8 2015/08/13 13:45:26 ohara Exp $
+# $OpenXM: OpenXM_contrib2/windows/extract_gc.sh,v 1.9 2018/09/09 07:39:14 ohara Exp $
 (set -o igncr) 2>/dev/null && set -o igncr;#
 OpenXM_HOME=${OpenXM_HOME:-../../OpenXM}
 OpenXM_dist="$(realpath -m ${OpenXM_HOME}/../OpenXM_dist)"
 GC=gc-7.4.4
 ATOMIC_OPS=libatomic_ops-7.4.4
 GC_TARGZ=${GC}.tar.gz
-GC_PATCH=gc-7.0-risa.diff
+GC_PATCH=gc-7.4.2-risa.diff
 
 tar zxf ${OpenXM_dist}/${GC_TARGZ}
 tar zxf ${OpenXM_dist}/${ATOMIC_OPS}.tar.gz
@@ -14,7 +14,7 @@ mv ${GC} gc
 mv ${ATOMIC_OPS} gc/libatomic_ops
 
 for i in ${GC_PATCH} ; do 
-	f=../asir2000/$i
+	f=../asir2018/$i
 	if [ -f $f ]; then
 		(cd gc; patch -p1) < $f 
 	fi