1.1 --- a/config/kernel/mingw32.in	Tue Nov 13 15:06:18 2012 +0000
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,33 +0,0 @@
     1.4 -# mingw32 config options
     1.5 -
     1.6 -## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 )
     1.7 -##
     1.8 -## select MINGW32
     1.9 -##
    1.10 -## help Build a toolchain targeting systems running Windows as host
    1.11 -
    1.12 -choice
    1.13 -    bool
    1.14 -    prompt "Windows api version"
    1.15 -
    1.16 -# Don't remove next line
    1.17 -# CT_INSERT_VERSION_BELOW
    1.18 -config W32API_V_3_14
    1.19 -    bool
    1.20 -    prompt "3.14"
    1.21 -
    1.22 -config W32API_V_select
    1.23 -    bool
    1.24 -    prompt "Other version"
    1.25 -
    1.26 -endchoice
    1.27 -
    1.28 -config W32API_VERSION
    1.29 -    string
    1.30 -    prompt "W32 api version" if W32API_V_select
    1.31 -# Don't remove next line
    1.32 -# CT_INSERT_VERSION_STRING_BELOW
    1.33 -    default "3.14" if W32API_V_3_14
    1.34 -    help
    1.35 -      Enter the version number of the windows api files to use
    1.36 -