From 3771f8770336669fabbb35cb24ecf5477f802ebe Mon Sep 17 00:00:00 2001
From: Pip Cet <pipcet@protonmail.com>
Date: Sun, 19 Oct 2025 15:25:59 +0000
Subject: [PATCH] ; * src/.gdbinit [defined_HAVE_MPS]: Don't print SIGSEGV
 messages.

---
 src/.gdbinit | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/.gdbinit b/src/.gdbinit
index 0a6412149bf..a03ff85d2fe 100644
--- a/src/.gdbinit
+++ b/src/.gdbinit
@@ -52,9 +52,7 @@ end
 
 # Pass on signals used by MPS to suspend threads.
 if defined_HAVE_MPS
-  # Print SIGSEGV for now, since it makes the logs more useful.  Don't
-  # stop, though.
-  handle SIGSEGV nostop print pass
+  handle SIGSEGV nostop noprint pass
   handle SIGXFSZ nostop noprint pass
   handle SIGXCPU nostop noprint pass
 end