From 81bd7fab55e034e4520dfdae672dd7aac9574641 Mon Sep 17 00:00:00 2001 From: Jeremy Apthorp Date: Tue, 2 Oct 2018 21:49:10 -0700 Subject: [PATCH] avoid duplicate files when building a zip --- build/zip.py | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/build/zip.py b/build/zip.py index 70b7028508..11c8e81a15 100644 --- a/build/zip.py +++ b/build/zip.py @@ -56,14 +56,13 @@ def execute(argv): def main(argv): dist_zip, runtime_deps, target_cpu, target_os = argv - dist_files = [] + dist_files = set() with open(runtime_deps) as f: for dep in f.readlines(): dep = dep.strip() - if dep not in dist_files: - dist_files += [dep] + dist_files.add(dep) if sys.platform == 'darwin': - mac_zip_results = execute(['zip', '-r', '-y', dist_zip] + dist_files) + execute(['zip', '-r', '-y', dist_zip] + list(dist_files)) else: with zipfile.ZipFile(dist_zip, 'w', zipfile.ZIP_DEFLATED) as z: for dep in dist_files: