diff options
| author |   Li-Hang Lin <lihang.lin@gmail.com> | 2016-10-07 02:54:46 (GMT) |
|---|---|---|
| committer | Li-Hang Lin <lihang.lin@gmail.com> | 2017-01-22 10:09:49 (GMT) |
| commit | 1f6c6d3f328bba62244975c5a73b7bd4a94ee3dc (patch) | |
| tree | e44daf64ec0d7b1730ae4363bdc265177a812390 /config | |
| parent | 8c2e76ccb864b8af8951efe967af1ddbccca5496 (diff) | |
mingw: compile the mingw-w64 companion tools as well
There are some useful tools such as widl, gendef, genidl ... etc.
provided by mingw-w64 and do not waste the developers' works.
Signed-off-by: Li-Hang Lin <lihang.lin@gmail.com>
Diffstat (limited to 'config')
| -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 |