Fix two incompatible options
The config symbols X86_32
and X86_64
cannot both be enabled because they're mutually exclusive. make defconfig
detects and fixes this, which is demonstrated in the following.
Get the most recent Linux sources:
$ git clone --depth 1 -b master https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git linux
$ cd linux
Enable the two incompatible config symbols:
$ scripts/config --enable X86_32
$ scripts/config --enable X86_64
Verify that both options are set in .config
:
$ grep -P '^CONFIG_X86_(32|64)=' .config
CONFIG_X86_64=y
CONFIG_X86_32=y
Fix the incompatiblity:
$ make defconfig
*** Default configuration is based on 'x86_64_defconfig'
#
# configuration written to .config
#
The wrong option X86_32
is now gone:
$ grep -P '^CONFIG_X86_(32|64)=' .config
CONFIG_X86_64=y