blob: 1f624e9ff91a3927a4d5918531336a72eb75ad4a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- src/etc/get-stage0.py.orig 2016-10-01 07:20:20 UTC
+++ src/etc/get-stage0.py
@@ -31,7 +31,8 @@ def main(triple):
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)
+ if not os.path.exists(dst):
+ bootstrap.get(url, dst)
stage0_dst = triple + '/stage0'
if os.path.exists(stage0_dst):
|
