From 6139fee31dec038052c36383f89bafa36ca7d3c4 Mon Sep 17 00:00:00 2001
From: Christian Decker <decker.christian@gmail.com>
Date: Thu, 3 May 2018 17:30:49 +0200
Subject: [PATCH] fixup! make: Disable DEVELOPER by default

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

diff --git a/Makefile b/Makefile
index 9c90d0df3..78b61916a 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ VALGRIND=valgrind -q --error-exitcode=7
 VALGRIND_TEST_ARGS = --track-origins=yes --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all
 endif
 
-# By default, we are in DEVELOPER mode, use DEVELOPER= on cmdline to override.
+# By default, we are not in DEVELOPER mode, use DEVELOPER=1 on cmdline to override.
 DEVELOPER := 0
 
 ifeq ($(DEVELOPER),1)