riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

makefiles/cflags.inc.mk: add -Wmissing-include-dirs flag

Browse Source 
Warn if a user-supplied include directory does not exist.
This commit is contained in:
Gaëtan Harter 2018-01-25 15:40:39 +01:00
parent 726581fc2e
commit 08ff1b73a2
No known key found for this signature in database
GPG Key ID: 76DF6BCF1B1F883B
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
makefiles/cflags.inc.mk
View File

@ -60,6 +60,9 @@ CFLAGS += -fno-common
# Enable all default warnings
CFLAGS += -Wall
# Warn if a user-supplied include directory does not exist.
CFLAGS += -Wmissing-include-dirs
ifeq (,$(filter -DDEVELHELP,$(CFLAGS)))
ifneq (1,$(FORCE_ASSERTS))
CFLAGS += -DNDEBUG