From a7bc9afc4b8668c1c71d7f65e3e0c85c736af27f Mon Sep 17 00:00:00 2001
From: smlng <s@mlng.net>
Date: Tue, 14 Nov 2017 11:04:54 +0100
Subject: [PATCH] make: allow for DEVELHELP env variable

---
 Makefile.include | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Makefile.include b/Makefile.include
index d87802d7d2..794a309458 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -111,6 +111,14 @@ endif
 
 QQ=
 
+# Set this to 1 to enable code in RIOT that does safety checking
+# which is not needed in a production environment but helps in the
+# development process:
+DEVELHELP ?= 0
+ifeq ($(DEVELHELP),1)
+  CFLAGS += -DDEVELHELP
+endif
+
 # Fail on warnings. Can be overridden by `make WERROR=0`.
 WERROR ?= 1
 export WERROR
-- 
GitLab