diff options
Diffstat (limited to 'user/w3m/use-modern-gc.patch')
| -rw-r--r-- | user/w3m/use-modern-gc.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/user/w3m/use-modern-gc.patch b/user/w3m/use-modern-gc.patch new file mode 100644 index 000000000..a30d642bb --- /dev/null +++ b/user/w3m/use-modern-gc.patch @@ -0,0 +1,12 @@ +--- w3m-0.5.3/main.c.old 2011-01-04 09:42:19.000000000 +0000 ++++ w3m-0.5.3/main.c 2019-01-18 20:12:22.570000000 +0000 +@@ -833,7 +833,8 @@ + mySignal(SIGPIPE, SigPipe); + #endif + +- orig_GC_warn_proc = GC_set_warn_proc(wrap_GC_warn_proc); ++ orig_GC_warn_proc = GC_get_warn_proc(); ++ GC_set_warn_proc(wrap_GC_warn_proc); + err_msg = Strnew(); + if (load_argc == 0) { + /* no URL specified */ |