From dd164fbc86deac85dbc8ca3c3e4cf9bd8db2e5a4 Mon Sep 17 00:00:00 2001
From: "Markus F.X.J. Oberhumer" <markus@oberhumer.com>
Date: Thu, 3 Dec 2020 18:16:11 +0100
Subject: [PATCH] Undo Makefile change in
 9b0f523d008b9ad31eebe926b1f99ffc0889d793.

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

diff --git a/src/Makefile b/src/Makefile
index f3cf0af5..66ce6286 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