diff options
Diffstat (limited to 'lang/rust/files/patch-src_etc_get-stage0.py')
| -rw-r--r-- | lang/rust/files/patch-src_etc_get-stage0.py | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lang/rust/files/patch-src_etc_get-stage0.py b/lang/rust/files/patch-src_etc_get-stage0.py deleted file mode 100644 index 1f624e9..0000000 --- a/lang/rust/files/patch-src_etc_get-stage0.py +++ /dev/null @@ -1,12 +0,0 @@ ---- 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): |
