If GNU make 3.81 is not found then build it as a companion tool.
Signed-off-by: Ray Donnelly <mingw.android@gmail.com>
[yann.morin.1998@free.fr: add message "checking for make 3.81"]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <8b8bf6998f3d239f6c74.1392920971@advancedsearch.virginmedia.com>
Patchwork-Id: 322302
5 ## select LIBC_SUPPORT_WIN32THREADS
6 ## select CC_CORE_PASSES_NEEDED
8 ## help The de-facto standard for Mingw distributions.
12 prompt "Windows API version"
14 # Don't remove next line
15 # CT_INSERT_VERSION_BELOW
20 config WINAPI_V_select
22 prompt "Other version"
28 prompt "Windows API version" if WINAPI_V_select
29 # Don't remove next line
30 # CT_INSERT_VERSION_STRING_BELOW
31 default "2.0.7" if WINAPI_V_2_0_7
33 Enter the version number of the Windows API files to use
37 prompt "Include DirectX development files"
41 prompt "Include DDK development files"