diff options
Diffstat (limited to 'config/kernel/mingw32.in')
-rw-r--r-- | config/kernel/mingw32.in | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/config/kernel/mingw32.in b/config/kernel/mingw32.in deleted file mode 100644 index f121e98..0000000 --- a/config/kernel/mingw32.in +++ /dev/null @@ -1,33 +0,0 @@ -# mingw32 config options - -## depends on EXPERIMENTAL && ( ARCH_x86 && ARCH_32 ) -## -## select MINGW32 -## -## help Build a toolchain targeting systems running Windows as host - -choice - bool - prompt "Windows api version" - -# Don't remove next line -# CT_INSERT_VERSION_BELOW -config W32API_V_3_14 - bool - prompt "3.14" - -config W32API_V_select - bool - prompt "Other version" - -endchoice - -config W32API_VERSION - string - prompt "W32 api version" if W32API_V_select -# Don't remove next line -# CT_INSERT_VERSION_STRING_BELOW - default "3.14" if W32API_V_3_14 - help - Enter the version number of the windows api files to use - |