1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00

Merge pull request #12010 from cladmi/pr/makefiles/info_global/disable_module

makefiles/info-global.inc.mk: bug: fix DISABLE_MODULE_GLOBAL value
This commit is contained in:
Juan I Carrano 2019-08-21 17:15:02 +02:00 committed by GitHub
commit 507444ee44
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,7 +5,7 @@ USEMODULE_GLOBAL := $(USEMODULE)
USEPKG_GLOBAL := $(USEPKG)
FEATURES_REQUIRED_GLOBAL := $(FEATURES_REQUIRED)
FEATURES_OPTIONAL_GLOBAL := $(FEATURES_OPTIONAL)
DISABLE_MODULE_GLOBAL := $(DISABLE_MODULE_GLOBAL)
DISABLE_MODULE_GLOBAL := $(DISABLE_MODULE)
define board_missing_features
BOARD := $(1)