1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f4ee968..dcdd255 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,7 @@ CPPFLAGS += -fno-strict-aliasing
 ifeq ($(DEBUG),)
 CPPFLAGS += -O3 -DNDEBUG
 else
-CPPFLAGS += -g -DDEBUG
+CPPFLAGS += -g -DDEBUG -DEV_VERIFY=3
 LDFLAGS += -g
 endif