1 files changed, 18 insertions, 0 deletions
diff --git a/devel/valgrind/files/patch-coregrind_vg_signals.c b/devel/valgrind/files/patch-coregrind_vg_signals.c
new file mode 100644
index 000000000000..be277882e91a
--- /dev/null
+++ b/devel/valgrind/files/patch-coregrind_vg_signals.c
@@ -0,0 +1,18 @@
+--- coregrind/vg_signals.c.orig	Mon Sep 19 21:16:07 2005
++++ coregrind/vg_signals.c	Mon Sep 19 21:28:05 2005
+@@ -1488,6 +1488,15 @@
+ 	 VG_(start_GDB)( tid );
+       }
+ 
++      if (core) {
++         static struct vki_rlimit zero = { 0, 0 };
++
++         VG_(message) (Vg_UserMsg, "Core dumping not implemented. Please re-run valgrind after fixing the crash.");
++
++         /* make sure we don't get a confusing kernel-generated coredump */
++         VG_(setrlimit)(VKI_RLIMIT_CORE, &zero);
++      }
++
+       if (VG_(fatal_signal_set)) {
+ 	 VG_(fatal_sigNo) = sigNo;
+ 	 __builtin_longjmp(VG_(fatal_signal_jmpbuf), 1);