Index: chrome/tools/build/make_zip.py |
diff --git a/chrome/tools/build/make_zip.py b/chrome/tools/build/make_zip.py |
index 81e411e19eb4cc75144968dd8da2e766928098ba..17c42dae04d9b6b09b0cae8b11a11a5e5e648085 100755 |
--- a/chrome/tools/build/make_zip.py |
+++ b/chrome/tools/build/make_zip.py |
@@ -21,16 +21,16 @@ def main(args): |
cwd = os.getcwd() |
os.chdir(build_dir) |
- files = [] |
+ files = set() |
for file_spec in exec_globals['FILES']: |
pattern = file_spec['filename'] |
for glob_match in glob.glob(pattern): |
if os.path.isfile(glob_match): |
- files.append(glob_match) |
+ files.add(glob_match) |
elif os.path.isdir(glob_match): |
for root, dirs, filenames in os.walk(glob_match): |
for f in filenames: |
- files.append(os.path.join(root, f)); |
+ files.add(os.path.join(root, f)); |
os.chdir(cwd) |
if not len(files): |
@@ -38,8 +38,8 @@ def main(args): |
return 1 |
with zipfile.ZipFile(output_file, mode = 'w', |
- compression = zipfile.ZIP_DEFLATED) as output: |
- for f in files: |
+ compression = zipfile.ZIP_DEFLATED, allowZip64 = True) as output: |
+ for f in sorted(files): |
sys.stdout.write("%s\r" % f[:40].ljust(40, ' ')) |
sys.stdout.flush() |
output.write(os.path.join(build_dir, f), f) |