From ba152fc61d94b23cf80de4a8e5f1bc463822e46f Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers@gmail.com>
Date: Thu, 2 Nov 2017 21:34:47 +0100
Subject: [PATCH] Make zip files compressed using DEFLATE

---
 package_release_build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package_release_build.py b/package_release_build.py
index 275735f526..a186cb58e9 100755
--- a/package_release_build.py
+++ b/package_release_build.py
@@ -146,7 +146,7 @@ def _copytree(src, dst, symlinks=False, ignore=None):
             shutil.copy2(s, d)
 
 def package_zip(directory, zipname):
-    with zipfile.ZipFile(zipname, "w") as zipf:
+    with zipfile.ZipFile(zipname, "w", zipfile.ZIP_DEFLATED) as zipf:
         for dirs, _, files in os.walk(directory):
             relpath = os.path.relpath(dirs, directory)
             if relpath != ".":