from time import time
-def get(url, path, verbose=False):
+def get(url, path, verbose=False, use_local_hash_if_present=False):
sha_url = url + ".sha256"
with tempfile.NamedTemporaryFile(delete=False) as temp_file:
temp_path = temp_file.name
- with tempfile.NamedTemporaryFile(suffix=".sha256", delete=False) as sha_file:
- sha_path = sha_file.name
+ sha_path = path + ".sha256"
try:
- download(sha_path, sha_url, False, verbose)
+ if use_local_hash_if_present and os.path.exists(sha_path):
+ print("using already-download file " + sha_path)
+ else:
+ download(sha_path, sha_url, False, verbose)
if os.path.exists(path):
if verify(path, sha_path, False):
if verbose:
print("moving {} to {}".format(temp_path, path))
shutil.move(temp_path, path)
finally:
- delete_if_present(sha_path, verbose)
delete_if_present(temp_path, verbose)
filename = 'rustc-{}-{}.tar.gz'.format(channel, triple)
url = 'https://static.rust-lang.org/dist/{}/{}'.format(date, filename)
dst = dl_dir + '/' + filename
- bootstrap.get(url, dst)
+ bootstrap.get(url, dst, use_local_hash_if_present=True)
stage0_dst = triple + '/stage0'
if os.path.exists(stage0_dst):