mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
make: allow for DEVELHELP env variable
This commit is contained in:
parent
9858e9e8bf
commit
a7bc9afc4b
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user