diff options
Diffstat (limited to 'src/etc/make-win-dist.py')
| -rw-r--r-- | src/etc/make-win-dist.py | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/etc/make-win-dist.py b/src/etc/make-win-dist.py index 95e647c91cf..ea2a98db2dc 100644 --- a/src/etc/make-win-dist.py +++ b/src/etc/make-win-dist.py @@ -114,11 +114,5 @@ def make_win_dist(rust_root, gcc_root, target_triple): for src in target_libs: shutil.copy(src, target_lib_dir) - # Copy license files - lic_dir = os.path.join(rust_root, "bin", "third-party") - if os.path.exists(lic_dir): - shutil.rmtree(lic_dir) # copytree() won't overwrite existing files - shutil.copytree(os.path.join(os.path.dirname(__file__), "third-party"), lic_dir) - if __name__=="__main__": make_win_dist(sys.argv[1], sys.argv[2], sys.argv[3]) |