On Jun 26 2018, Michal Suchánek
I suppose it might be a bug. We have
# Select 32 or 64 bit config 64BIT bool "64-bit kernel" if ARCH = "x86" default ARCH != "i386" ---help--- Say yes to build a 64-bit kernel - formerly known as x86_64 Say no to build a 32-bit kernel - formerly known as i386
So the option has a description and the value should be saved even after f467c5640c29ad258c3cd8186a776c82fc3b8057 ("kconfig: only write '# CONFIG_FOO is not set' for visible symbols") but it is not.
Only if ARCH=x86, but the .config was created with ARCH=i386. I think ARCH should be set to x86 for both x86_64 and i?86. Andreas. -- Andreas Schwab, SUSE Labs, schwab@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different." -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org