config/kernel/mingw32.in
changeset 2106 750676a1d8ea
parent 2027 38cc05a621f0
child 2444 896cb0d36c1a
     1.1 --- a/config/kernel/mingw32.in	Thu Jul 15 09:51:55 2010 +0200
     1.2 +++ b/config/kernel/mingw32.in	Tue Aug 31 18:52:07 2010 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  # mingw32 config options
     1.5 -# depends on EXPERIMENTAL
     1.6 +# depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
     1.7  
     1.8  config KERNEL_mingw32
     1.9      select MINGW32