===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2018/parse/gc_risa.c,v
retrieving revision 1.2
retrieving revision 1.5
diff -u -p -r1.2 -r1.5
--- OpenXM_contrib2/asir2018/parse/gc_risa.c	2018/10/01 07:48:01	1.2
+++ OpenXM_contrib2/asir2018/parse/gc_risa.c	2020/10/04 03:14:09	1.5
@@ -1,4 +1,4 @@
-/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.1 2018/09/19 05:45:08 noro Exp $ */
+/* $OpenXM: OpenXM_contrib2/asir2018/parse/gc_risa.c,v 1.4 2019/07/25 05:57:56 noro Exp $ */
 
 #if defined(VISUAL) || defined(__MINGW32__)
 #include "private/gcconfig.h"
@@ -7,11 +7,14 @@
 #endif
 #endif
 #include "gc.h"
+#include <stdio.h>
+#include <stdlib.h>
 #include <time.h>
 #include <signal.h>
 
 void error(char *);
 void int_handler();
+void ox_usr1_handler(int sig);
 
 int *StackBottom;
 int in_gc, caught_intr;
@@ -23,8 +26,9 @@ void check_caught_intr()
     int_handler(SIGINT);
   } else if ( caught_intr == 2 ) {
     caught_intr = 0;
+    fprintf(stderr,"entering reset mode...\n");
     ox_usr1_handler(SIGUSR1);
-    }
+  }
 }
 
 void *Risa_GC_malloc(size_t d)
@@ -256,11 +260,10 @@ void Risa_GC_get_adj(int *nm, int *dn) {
 void Risa_GC_set_adj(int nm, int dn) {
   GC_set_free_space_divisor(dn/nm);
 }
-
+#endif
 double GC_get_gctime() {
   return 0.0;
 }
-#endif
 
 #if defined(MSWIN32) && !defined(VISUAL) && !defined(__MINGW32__)
 #include <signal.h>