diff options
Diffstat (limited to 'user/w3m/use-modern-gc.patch')
| -rw-r--r-- | user/w3m/use-modern-gc.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/user/w3m/use-modern-gc.patch b/user/w3m/use-modern-gc.patch deleted file mode 100644 index a30d642bb..000000000 --- a/user/w3m/use-modern-gc.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- 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 */ |