diff options
author | Alexey Neyman <stilor@att.net> | 2017-01-22 17:14:47 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-22 17:14:47 (GMT) |
commit | 76099962bfda129b88f75e2191e26a8295b4b286 (patch) | |
tree | 0472131c4972e5548d30a4249ae2425e55057043 /config/libc/mingw.in | |
parent | 83dfa978050744b066e8fe2543c4810376964522 (diff) | |
parent | 1f6c6d3f328bba62244975c5a73b7bd4a94ee3dc (diff) |
Merge pull request #462 from lihanglin/master
mingw: compile the mingw-w64 companion tools as well
Diffstat (limited to 'config/libc/mingw.in')
-rw-r--r-- | config/libc/mingw.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/config/libc/mingw.in b/config/libc/mingw.in index 6c33d2f..0de5dac 100644 --- a/config/libc/mingw.in +++ b/config/libc/mingw.in @@ -103,3 +103,10 @@ config MINGW_DIRECTX config MINGW_DDK bool prompt "Include DDK development files" + +config MINGW_TOOLS + bool + prompt "Include the companion tools" + help + build the companion tools with mingw such as widl, gendef, + and genpeimg |