diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-10-14 18:58:24 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-10-15 12:20:47 +0200 |
| commit | cbf52606f4928df46fc89d37d781bad782f0616e (patch) | |
| tree | 6a2d1d2a597f17edb735e3b8201c1a3bf0efed7d /platform/server | |
| parent | 36738ddda4f732fff7bbfb7b4605a47a0bd7c045 (diff) | |
zlib: Split thirdparty files, simplify scons option
Diffstat (limited to 'platform/server')
| -rw-r--r-- | platform/server/detect.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/platform/server/detect.py b/platform/server/detect.py index 543c88c5c2..2f6fb00e0d 100644 --- a/platform/server/detect.py +++ b/platform/server/detect.py @@ -27,7 +27,6 @@ def get_opts(): def get_flags(): return [ - ('builtin_zlib', 'no'), ] |