diff --git a/src/Makefile b/src/Makefile
index 97a6322a58ce3d2aa956f591ab6b97f2f8162ab3..fe238e26800534336b23ed4e78a04f25f5949f88 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