diff --git a/Kconfig b/Kconfig index 694c37d85fc0..2f45764a5bc2 100644 --- a/Kconfig +++ b/Kconfig @@ -43,6 +43,12 @@ comment "Some configuration options may not be here. Use CFLAGS instead." comment "!! ERROR: There are conflicting modules active !!" depends on ERROR_MODULES_CONFLICT != "" +config RIOT_CI_BUILD + bool "CI build" + help + Indicates that the CI is building. This may add additional modules + for the sake of testing. + config TEST_KCONFIG bool default y if '$(TEST_KCONFIG)' = '1' diff --git a/makefiles/kconfig.mk b/makefiles/kconfig.mk index 189d13c68509..853dbc20cd97 100644 --- a/makefiles/kconfig.mk +++ b/makefiles/kconfig.mk @@ -121,6 +121,11 @@ ifeq (1,$(DEVELHELP)) RIOT_CONFIG_DEVELHELP ?= y endif +# Expose RIOT_CI_BUILD to kconfig +ifeq (1,$(RIOT_CI_BUILD)) + RIOT_CONFIG_RIOT_CI_BUILD ?= y +endif + # export variable to make it visible in other Makefiles export SHOULD_RUN_KCONFIG