Skip to content

Commit b5c407a

Browse files
authored
Merge pull request #134 from wingo/fix-copying-symlinks
rust build: copying dirs copies symlinks
2 parents 810783f + 445b656 commit b5c407a

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

tests/rust/build.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,8 @@ def cp_R(src, dst):
6969
if args.verbose:
7070
print(f"cp -R {src} {dst}")
7171
if not args.dry_run:
72-
shutil.copytree(src, dst, dirs_exist_ok=True)
72+
shutil.copytree(src, dst, symlinks=True, ignore_dangling_symlinks=True,
73+
dirs_exist_ok=True)
7374

7475
def write_manifest(path, manifest):
7576
if args.verbose:

0 commit comments

Comments
 (0)