Martin Roth (martinroth@google.com) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/10978
-gerrit
commit 1c99fdb1f4606cc9075a9e7016d4d3bd685e627b Author: Stefan Reinauer stefan.reinauer@coreboot.org Date: Fri Jul 17 17:29:19 2015 -0700
Enable KCONFIG_STRICT mode
Change-Id: I6aa77db1b12a67472302ea39d7433993a6838af6 Signed-off-by: Stefan Reinauer stefan.reinauer@coreboot.org --- Makefile | 1 + 1 file changed, 1 insertion(+)
diff --git a/Makefile b/Makefile index 99d7139..08d4f97 100644 --- a/Makefile +++ b/Makefile @@ -57,6 +57,7 @@ export KCONFIG_DEPENDENCIES := $(obj)/auto.conf.cmd export KCONFIG_SPLITCONFIG := $(obj)/config export KCONFIG_TRISTATE := $(obj)/tristate.conf export KCONFIG_NEGATIVES := 1 +export KCONFIG_STRICT := 1
# directory containing the toplevel Makefile.inc TOPLEVEL := .