diff options
Diffstat (limited to 'community/w3m/gc72.patch')
| -rw-r--r-- | community/w3m/gc72.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/community/w3m/gc72.patch b/community/w3m/gc72.patch new file mode 100644 index 00000000000..47bd4c85c88 --- /dev/null +++ b/community/w3m/gc72.patch @@ -0,0 +1,13 @@ +diff -Naur old/main.c new/main.c +--- old/main.c 2011-01-04 20:42:19.000000000 +1100 ++++ new/main.c 2012-07-04 21:49:10.136212236 +1000 +@@ -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 */ |