1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 09aa23b5d..e001398c2 100644
--- a/Makefile
+++ b/Makefile
@@ -21,6 +21,10 @@ CFLAGS += -fsanitize=address -fsanitize=undefined -fsanitize=leak
 LIBS += -lasan -lubsan
 endif
 
+ifeq ($(VERBOSE),yes)
+CFLAGS += -DVERBOSE
+endif
+
 RM = rm -f
 
 main: main.c