Hi Patrick,
we two had an IRC conversation on monday about this topic but didn't finish this.
Your above mentioned patch helps (I'm a reviewer of this). When I tried I also noticed that this does not point out loudly if you have problems in your config. So the approach without the patch (in result more strict) is from my opinion better if we have a workaround beside edit config manually. In the parallel thread here Martin mentioned the same workaround as you mentioned on IRC on Monday. But I get not work. I added for test a line in a working .config with "NOT_KNOWN_SWITCH=1234" which produces the error and changed now the coreboot toplevel Makefile according: -KCONFIG_WERROR:= 1 -KCONFIG_WARN_UNKNOWN_SYMBOLS:= 1 +KCONFIG_WERROR ?= 1 +KCONFIG_WARN_UNKNOWN_SYMBOLS ?= 1
And did as Martin and also you mentioned make menuconfig KCONFIG_WERROR=0 KCONFIG_WARN_UNKNOWN_SYMBOLS=0
But the error still exist.
Can the cause be a dependency from make? We use v4.2.1 on Red Hat 8.8.
Regards Uwe