# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1283273527 -7200
# Node ID 750676a1d8ead63994f6e05175cdc46b0ecae9a1
# Parent  0d4a72f421a0de8083ba1965d769976f0d80b337
kernel/mingw32: show only for x86, 32-bit targets

Mingw32 on non-x86, non-32-bit target makes no sense

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

diff -r 0d4a72f421a0 -r 750676a1d8ea config/kernel/mingw32.in
--- a/config/kernel/mingw32.in	Tue Aug 31 18:57:56 2010 +0200
+++ b/config/kernel/mingw32.in	Tue Aug 31 18:52:07 2010 +0200
@@ -1,5 +1,5 @@
 # mingw32 config options
-# depends on EXPERIMENTAL
+# depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
 
 config KERNEL_mingw32
     select MINGW32