diff options
| -rw-r--r-- | src/etc/copy-runtime-deps.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/etc/copy-runtime-deps.py b/src/etc/copy-runtime-deps.py index 16155a99b69..4f4949e3c88 100644 --- a/src/etc/copy-runtime-deps.py +++ b/src/etc/copy-runtime-deps.py @@ -10,7 +10,8 @@ def copy_runtime_deps(dest_dir): shutil.copy(path, dest_dir) lic_dest = os.path.join(dest_dir, "third-party") - shutil.rmtree(lic_dest) # copytree() won't overwrite existing files + if os.path.exists(lic_dest): + shutil.rmtree(lic_dest) # copytree() won't overwrite existing files shutil.copytree(os.path.join(os.path.dirname(__file__), "third-party"), lic_dest) copy_runtime_deps(sys.argv[1]) |