[Build process] Rather move the binary than copy it to avoid race conditions

2017-01-29 13:42:46 +01:00
parent 3e00d016b2
commit cc8de81128
1 changed files with 1 additions and 1 deletions
@@ -221,7 +221,7 @@ if not os.path.isfile(path):


    # Copy binary to the binaries directory
-    shutil.copyfile(target, path)
+    shutil.move(target, path)

 print filename
 exit(0)