1.1 --- a/config/kernel/mingw32.in	Tue Aug 31 18:52:07 2010 +0200
     1.2 +++ b/config/kernel/mingw32.in	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -1,10 +1,10 @@
     1.4  # mingw32 config options
     1.5 -# depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
     1.6  
     1.7 -config KERNEL_mingw32
     1.8 -    select MINGW32
     1.9 -    help
    1.10 -      Build a toolchain targeting systems running Windows as host
    1.11 +## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
    1.12 +##
    1.13 +## select MINGW32
    1.14 +##
    1.15 +## help Build a toolchain targeting systems running Windows as host
    1.16  
    1.17  choice
    1.18      bool