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

Merge pull request #12913 from leandrolanzieri/pr/kconfig_include_config

Browse Source 
makefiles/kconfig: Include configuration symbols to build system
This commit is contained in:
Cenk Gündoğan 2019-12-19 16:04:05 +01:00 committed by GitHub
commit 0d9d496618
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
makefiles/kconfig.mk
View File

@ -36,6 +36,18 @@ KCONFIG_USER_CONFIG = $(APPDIR)/user.config
# one that is used to generate the 'riotconf.h' header # one that is used to generate the 'riotconf.h' header
KCONFIG_MERGED_CONFIG = $(GENERATED_DIR)/merged.config KCONFIG_MERGED_CONFIG = $(GENERATED_DIR)/merged.config
# Include configuration symbols if available, only when not cleaning. This
# allows to check for Kconfig symbols in makefiles.
# Make tries to 'remake' all included files
# (see https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html).
# So if this file was included even when 'clean' is called, make would enter a
# loop, as it always is out-of-date.
# This has the side effect of requiring a Kconfig user to run 'clean' on a
# separate call (e.g. 'make clean && make all'), to get the symbols correctly.
ifneq ($(CLEAN),clean)
-include $(KCONFIG_MERGED_CONFIG)
endif
# Flag that indicates that the configuration has been edited # Flag that indicates that the configuration has been edited
KCONFIG_EDITED_CONFIG = $(GENERATED_DIR)/.editedconfig KCONFIG_EDITED_CONFIG = $(GENERATED_DIR)/.editedconfig