=================================================================== RCS file: /home/cvs/OpenXM_contrib2/asir2018/parse/gc_risa.c,v retrieving revision 1.2 retrieving revision 1.4 diff -u -p -r1.2 -r1.4 --- OpenXM_contrib2/asir2018/parse/gc_risa.c 2018/10/01 07:48:01 1.2 +++ OpenXM_contrib2/asir2018/parse/gc_risa.c 2019/07/25 05:57:56 1.4 @@ -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.3 2019/03/27 05:34:47 noro Exp $ */ #if defined(VISUAL) || defined(__MINGW32__) #include "private/gcconfig.h" @@ -7,6 +7,8 @@ #endif #endif #include "gc.h" +#include +#include #include #include @@ -23,8 +25,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 +259,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