From 5e72cf0123f6c9c03ccab44d3aa1209603eb134f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 14 Feb 2013 10:55:43 -0800
Subject: [PATCH] Compress windows distribution zip files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/mk_win_dist.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_win_dist.py b/scripts/mk_win_dist.py
index 137ea431c..a52c8af43 100644
--- a/scripts/mk_win_dist.py
+++ b/scripts/mk_win_dist.py
@@ -205,7 +205,7 @@ def mk_zip_core(x64):
     try:
         os.chdir(DIST_DIR)
         zfname = '%s.zip' % dist_path
-        ZIPOUT = zipfile.ZipFile(zfname, 'w')
+        ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
         os.path.walk(dist_path, mk_zip_visitor, '*')
         if is_verbose():
             print "Generated '%s'" % zfname