| Index: third_party/mojo/src/mojo/public/tools/gn/zip.py
|
| diff --git a/third_party/mojo/src/mojo/public/tools/gn/zip.py b/third_party/mojo/src/mojo/public/tools/gn/zip.py
|
| index 506eb9ea2a4203cb8fa14535413e7b559aa53a2a..a73f801d04ce818abd4afb1fae5a8151a9a82853 100755
|
| --- a/third_party/mojo/src/mojo/public/tools/gn/zip.py
|
| +++ b/third_party/mojo/src/mojo/public/tools/gn/zip.py
|
| @@ -15,7 +15,7 @@ import zipfile
|
|
|
| def DoZip(inputs, zip_inputs, output, base_dir):
|
| files = []
|
| - with zipfile.ZipFile(output, 'w') as outfile:
|
| + with zipfile.ZipFile(output, 'w', zipfile.ZIP_DEFLATED) as outfile:
|
| for f in inputs:
|
| file_name = os.path.relpath(f, base_dir)
|
| files.append(file_name)
|
|
|