diff options
Diffstat (limited to 'config/kernel')
| -rw-r--r-- | config/kernel/mingw32.in | 33 | ||||
| -rw-r--r-- | config/kernel/windows.in | 7 |
2 files changed, 7 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 - diff --git a/config/kernel/windows.in b/config/kernel/windows.in new file mode 100644 index 0000000..209f0cf --- /dev/null +++ b/config/kernel/windows.in @@ -0,0 +1,7 @@ +# windows config options + +## depends on EXPERIMENTAL && ARCH_x86 +## +## select WINDOWS +## +## help Build a toolchain targeting systems running Windows as host |