diff options
Diffstat (limited to 'src/etc/make-win-dist.py')
| -rw-r--r-- | src/etc/make-win-dist.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/etc/make-win-dist.py b/src/etc/make-win-dist.py index ea2a98db2dc..13d05135024 100644 --- a/src/etc/make-win-dist.py +++ b/src/etc/make-win-dist.py @@ -14,7 +14,11 @@ # argv[3] = target triple # The first two correspond to the two installable components defined in the setup script. -import sys, os, shutil, subprocess +import sys +import os +import shutil +import subprocess + def find_files(files, path): found = [] @@ -28,6 +32,7 @@ def find_files(files, path): raise Exception("Could not find '%s' in %s" % (fname, path)) return found + def make_win_dist(rust_root, gcc_root, target_triple): # Ask gcc where it keeps its stuff gcc_out = subprocess.check_output(["gcc.exe", "-print-search-dirs"]) @@ -114,5 +119,5 @@ def make_win_dist(rust_root, gcc_root, target_triple): for src in target_libs: shutil.copy(src, target_lib_dir) -if __name__=="__main__": +if __name__ == "__main__": make_win_dist(sys.argv[1], sys.argv[2], sys.argv[3]) |