w3m: patch for 0.5.3

Homebrew · May 15, 2017 · 22da03c · 22da03c
1 parent d70105c
commit 22da03c
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/w3m/0.5.3.patch b/w3m/0.5.3.patch
@@ -0,0 +1,17 @@
+diff --git a/main.c b/main.c
+index b421943..865c744 100644
+--- a/main.c
++++ b/main.c
+@@ -833,7 +833,12 @@ main(int argc, char **argv, char **envp)
+     mySignal(SIGPIPE, SigPipe);
+ #endif
+
++#if GC_VERSION_MAJOR >= 7 && GC_VERSION_MINOR >= 2
++    orig_GC_warn_proc = GC_get_warn_proc();
++    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 */