From 08ff1b73a2bad0e82b7a52eb0a2b99f28956565e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C3=ABtan=20Harter?= <gaetan.harter@fu-berlin.de>
Date: Thu, 25 Jan 2018 15:40:39 +0100
Subject: [PATCH] makefiles/cflags.inc.mk: add -Wmissing-include-dirs flag
Warn if a user-supplied include directory does not exist.
---
makefiles/cflags.inc.mk | 3 +++
1 file changed, 3 insertions(+)
diff --git a/makefiles/cflags.inc.mk b/makefiles/cflags.inc.mk
index b35ddc98c5..34f878b79b 100644
--- a/makefiles/cflags.inc.mk
+++ b/makefiles/cflags.inc.mk
@@ -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
--
GitLab