From 2dc286b3515ef8d030b7e955d51ec4624ccc37e1 Mon Sep 17 00:00:00 2001
From: Valient Gough <vgough@pobox.com>
Date: Tue, 16 Aug 2016 23:28:51 -0700
Subject: [PATCH] improve devmode build options

---
 devmode | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/devmode b/devmode
index f9850f5..bdb3b63 100755
--- a/devmode
+++ b/devmode
@@ -1,4 +1,5 @@
 # Script which sets up the CMake build for Debug mode.
 # After running, chdir to the build subdir ane run "make"
 mkdir build
-cd build && cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_FLAGS="-fsanitize=address" $@
+cd build && cmake .. -DCMAKE_BUILD_TYPE=Debug \
+  -DCMAKE_CXX_FLAGS="-O1 -fsanitize=address -fno-omit-frame-pointer" $@