changeset 2145 | efea409ff8be |
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 Fri Oct 08 23:58:58 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