From 0c162eeddc3ca637d173bc66a94dea86a43cf661 Mon Sep 17 00:00:00 2001
From: Toby Murray <toby.murray@unimelb.edu.au>
Date: Mon, 9 Sep 2019 21:07:06 +1000
Subject: [PATCH] turn on -g by default in CFLAGS

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Makefile b/src/Makefile
index 97a6322..fe238e2 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -9,7 +9,7 @@ TARGETS=$(VBINARIES) $(VBINARIES:%=%-san) $(VBINARIES:%=%-fuzz) $(VBINARIES:%=%-
 HEADERS=$(wildcard *.h)
 
 # allow the user to provide additional CFLAGS by doing e.g. CFLAGS=blah make
-CFLAGS += -W -Wall -Wpedantic -Wno-language-extension-token
+CFLAGS += -W -Wall -Wpedantic -Wno-language-extension-token -g
 
 # allow the user to override what clang we use by doing e.g. CLANG=blah make
 CLANG ?= clang-6.0
-- 
GitLab