Patrick Georgi (pgeorgi@google.com) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/10978
-gerrit
commit 297da60b1c70f8a6a8afd48cd434ae4a3d747925 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 421e919..d6dd14f 100644 --- a/Makefile +++ b/Makefile @@ -55,6 +55,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 := .