diff options
| -rw-r--r-- | main.c | 8 | 
1 files changed, 8 insertions, 0 deletions
| @@ -317,7 +317,11 @@ wrap_GC_warn_proc(char *msg, GC_word arg)  	    lock = 0;  	}      } +#if GC_VERSION_MAJOR >= 7 && GC_VERSION_MINOR >= 2 +    else if (orig_GC_warn_proc = GC_get_warn_proc()) +#else      else if (orig_GC_warn_proc) +#endif  	orig_GC_warn_proc(msg, arg);      else  	fprintf(stderr, msg, (unsigned long)arg); @@ -845,7 +849,11 @@ main(int argc, char **argv, char **envp)      mySignal(SIGPIPE, SigPipe);  #endif +#if GC_VERSION_MAJOR >= 7 && GC_VERSION_MINOR >= 2 +    GC_set_warn_proc(wrap_GC_warn_proc); +#else      orig_GC_warn_proc = GC_set_warn_proc(wrap_GC_warn_proc); +#endif      err_msg = Strnew();      if (load_argc == 0) {  	/* no URL specified */ | 
