commit | 6291358b1785e8255301c1367d77969693993981 | [log] [tgz] |
---|---|---|
author | Yifan Hong <elsk@google.com> | Mon Apr 25 18:20:21 2022 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Apr 25 18:20:21 2022 +0000 |
tree | 80aaf8e5453be09fa42b8b686785c46b8b5031fb | |
parent | 923a268ea9a0529b0b6107d0247762e70de6ee91 [diff] | |
parent | 3f5307f3451087ff87728861fca3c594d1589020 [diff] |
Merge "dist: copy dir allow dir to already exist & don't copy permissions"
diff --git a/dist/dist.py b/dist/dist.py index c6d3f13..39d3c12 100644 --- a/dist/dist.py +++ b/dist/dist.py
@@ -72,7 +72,7 @@ shutil.copyfile(src_abspath, dst, follow_symlinks=True) elif os.path.isdir(src): print("[dist] Copying dir: %s" % dst) - shutil.copytree(src_abspath, dst) + shutil.copytree(src_abspath, dst, copy_function=shutil.copyfile, dirs_exist_ok=True) for archive in archives: try: