From 6adb3dc14255e0b5c53baa098238e2aca4078a2b Mon Sep 17 00:00:00 2001 From: John Reiser Date: Sun, 26 Mar 2017 13:03:49 -0700 Subject: [PATCH] BUILD_TYPE_DEBUG ?= 0 --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index 0ab78636..954a2d1b 100644 --- a/src/Makefile +++ b/src/Makefile @@ -5,7 +5,7 @@ # # build configuration options for this Makefile -BUILD_TYPE_DEBUG ?= 1 +BUILD_TYPE_DEBUG ?= 0 BUILD_TYPE_SANITIZE ?= 0 BUILD_USE_DEPEND ?= 1