From: Brian Norris <banorris@uci.edu>
Date: Thu, 2 Aug 2012 23:51:45 +0000 (-0700)
Subject: DEBUGGINGNOTES: include gdb info for Linux
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=8bf7375ed16b408015518c831d8a0ba649c4b63a;p=c11tester.git

DEBUGGINGNOTES: include gdb info for Linux
---

diff --git a/DEBUGGINGNOTES.txt b/DEBUGGINGNOTES.txt
index 1a114f11..70cbba67 100644
--- a/DEBUGGINGNOTES.txt
+++ b/DEBUGGINGNOTES.txt
@@ -1,3 +1,6 @@
 To run inside MacOS under gdb you need:
 set dont-handle-bad-access 1
 handle SIGBUS nostop noprint
+
+To run in Linux under gdb, use:
+handle SIGSEGV nostop noprint