From: Borislav Petkov <b...@suse.de>

Doing

  $ make allnoconfig

I get a 32-bit allnoconfig:

  $ grep -i x86 .config
  # Linux/x86 4.0.0-rc6 Kernel Configuration
  CONFIG_X86_32=y
  CONFIG_X86=y
  CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"

The same if I do:

  $ make ARCH=i386 allnoconfig
  $ grep -i x86 .config | head -20
  CONFIG_X86_32=y
  CONFIG_X86=y
  CONFIG_ARCH_DEFCONFIG="arch/x86/configs/i386_defconfig"

Make allnoconfig without ARCH specified on the command line default to
64-bit.

Signed-off-by: Borislav Petkov <b...@suse.de>
---
 arch/x86/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 0a37094e458e..04dfb4e7aeff 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -2,6 +2,7 @@
 config 64BIT
        bool "64-bit kernel" if ARCH = "x86"
        default ARCH != "i386"
+       option allnoconfig_y
        ---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
-- 
2.3.3

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to