1 --- src/etc/get-stage0.py.orig 2016-08-16 01:54:35 UTC
2 +++ src/etc/get-stage0.py
3 @@ -31,9 +31,8 @@ def main(triple):
4 filename = 'rustc-{}-{}.tar.gz'.format(channel, triple)
5 url = 'https://static.rust-lang.org/dist/{}/{}'.format(date, filename)
6 dst = dl_dir + '/' + filename
7 - if os.path.exists(dst):
9 - bootstrap.get(url, dst)
10 + if not os.path.exists(dst):
11 + bootstrap.get(url, dst)
13 stage0_dst = triple + '/stage0'
14 if os.path.exists(stage0_dst):