Do "compress" the archive when creating zip.
authorCheng Zhao <zcbenz@gmail.com>
Sat, 26 Oct 2013 09:42:12 +0000 (17:42 +0800)
committerCheng Zhao <zcbenz@gmail.com>
Sat, 26 Oct 2013 09:42:12 +0000 (17:42 +0800)
commitcb31140d3a7f44738fa1851890706dc7b2f1085e
treeb6147a1415866346199f4478dc1bf30ea8d8fc8c
parentf2c1d8f4b290b2bc5dea80c0d24c37dc810b6e02
Do "compress" the archive when creating zip.

By default the zipfile module doesn't do the compression unless we
explictly specify the method.
script/lib/util.py