diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-10-29 16:50:13 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-10-29 19:07:48 +0200 |
| commit | 89cf17c96f1fe780a8aba62930411107ad2c7e59 (patch) | |
| tree | 474108cff940c3f7814c1574ad87abdae1915a13 /core/core_builders.py | |
| parent | dae626ad64b83bd05ccf7bc18306bc91585997e2 (diff) | |
| download | redot-engine-89cf17c96f1fe780a8aba62930411107ad2c7e59.tar.gz | |
Use maximum zlib compression when generating editor translation headers
With comments stripped, this reduces the combined generated translation
size from 28.7 MB to 28.4 MB (-240 KB).
Diffstat (limited to 'core/core_builders.py')
| -rw-r--r-- | core/core_builders.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/core/core_builders.py b/core/core_builders.py index 004475faa7..b07daa80ae 100644 --- a/core/core_builders.py +++ b/core/core_builders.py @@ -35,7 +35,9 @@ def make_certs_header(target, source, env): decomp_size = len(buf) import zlib - buf = zlib.compress(buf) + # Use maximum zlib compression level to further reduce file size + # (at the cost of initial build times). + buf = zlib.compress(buf, zlib.Z_BEST_COMPRESSION) g.write("/* THIS FILE IS GENERATED DO NOT EDIT */\n") g.write("#ifndef CERTS_COMPRESSED_GEN_H\n") |