1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/config/kernel/mingw32.in Sun Jul 11 21:37:43 2010 +0200
1.3 @@ -0,0 +1,32 @@
1.4 +# mingw32 config options
1.5 +
1.6 +config KERNEL_mingw32
1.7 + select MINGW32
1.8 + help
1.9 + Build a toolchain targeting systems running Windows as host
1.10 +
1.11 +choice
1.12 + bool
1.13 + prompt "Windows api version"
1.14 +
1.15 +# Don't remove next line
1.16 +# CT_INSERT_VERSION_BELOW
1.17 +config W32API_V_3_14
1.18 + bool
1.19 + prompt "3.14"
1.20 +
1.21 +config W32API_V_select
1.22 + bool
1.23 + prompt "Other version"
1.24 +
1.25 +endchoice
1.26 +
1.27 +config W32API_VERSION
1.28 + string
1.29 + prompt "W32 api version" if W32API_V_select
1.30 +# Don't remove next line
1.31 +# CT_INSERT_VERSION_STRING_BELOW
1.32 + default "3.14" if W32API_V_3_14
1.33 + help
1.34 + Enter the version number of the windows api files to use
1.35 +