From bac1ac3b59cfdc34589a16bbcddf92a71f27681c Mon Sep 17 00:00:00 2001
From: Martine Lenders <mlenders@inf.fu-berlin.de>
Date: Sat, 9 May 2015 19:10:03 +0200
Subject: [PATCH] make: actually disable a DISABLED_MODULE
---
Makefile.include | 1 +
1 file changed, 1 insertion(+)
diff --git a/Makefile.include b/Makefile.include
index 31640f6bba..ec150b30f0 100644
--- a/Makefile.include
+++ b/Makefile.include
@@ -298,6 +298,7 @@ ifneq (, $(filter all, $(if $(MAKECMDGOALS), $(MAKECMDGOALS), all)))
ifneq (, $(filter $(DISABLE_MODULE), $(USEMODULE)))
$(shell $(COLOR_ECHO) "$(COLOR_RED)Required modules were disabled using DISABLE_MODULE:$(COLOR_RESET)"\
"$(sort $(filter $(DISABLE_MODULE), $(USEMODULE)))" 1>&2)
+ USEMODULE := $(filter-out $(DISABLE_MODULE), $(USEMODULE))
EXPECT_ERRORS := 1
endif
--
GitLab