diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-16 11:52:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-16 11:52:09 +0200 |
| commit | 89132224a651c0e0d4121270f63decb9a678ff88 (patch) | |
| tree | 224a008705391b6e5b560d2c0426380651756383 /platform/winrt/detect.py | |
| parent | eb8d19ba740c11acf0f26080405fc5cd827a2d41 (diff) | |
| parent | e57042e8a93e4f3d65cc91633f5af0daedf69a2a (diff) | |
Merge pull request #6830 from akien-mga/thirdparty
Move most "drivers" as toggleable "modules" and split their thirdparty libraries in an own tree
Diffstat (limited to 'platform/winrt/detect.py')
| -rw-r--r-- | platform/winrt/detect.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/winrt/detect.py b/platform/winrt/detect.py index 7f220736d7..79fc3651e9 100644 --- a/platform/winrt/detect.py +++ b/platform/winrt/detect.py @@ -29,6 +29,7 @@ def get_flags(): return [ ('tools', 'no'), + ('builtin_zlib', 'yes'), ('openssl', 'builtin'), ] |