From 40c0b9734fc3e4db76f2ea03d6bb6277e0137c90 Mon Sep 17 00:00:00 2001
From: Justin Ethier <justin.ethier@gmail.com>
Date: Tue, 18 Dec 2018 23:01:06 -0500
Subject: [PATCH] When profiling include -g

---
 Makefile.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.config b/Makefile.config
index 27d62434..4ef21327 100644
--- a/Makefile.config
+++ b/Makefile.config
@@ -5,7 +5,7 @@
 # Configuration options for the makefile
 
 CYC_PROFILING ?= 
-#CYC_PROFILING ?= -pg
+#CYC_PROFILING ?= -g -pg
 
 CYC_GCC_OPT_FLAGS ?= -O2
 #CYC_GCC_OPT_FLAGS ?= -g