diff options
author | Yifan Hong <elsk@google.com> | 2022-04-25 18:20:21 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2022-04-25 18:20:21 +0000 |
commit | 6291358b1785e8255301c1367d77969693993981 (patch) | |
tree | 80aaf8e5453be09fa42b8b686785c46b8b5031fb | |
parent | 923a268ea9a0529b0b6107d0247762e70de6ee91 (diff) | |
parent | 3f5307f3451087ff87728861fca3c594d1589020 (diff) | |
download | bazel_common_rules-6291358b1785e8255301c1367d77969693993981.tar.gz |
Merge "dist: copy dir allow dir to already exist & don't copy permissions"
-rw-r--r-- | dist/dist.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ def copy_files_to_dist_dir(files, archives, dist_dir, flat, prefix, 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: |