diff options
| author | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-07-06 18:55:07 +0100 |
|---|---|---|
| committer | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-07-06 18:55:07 +0100 |
| commit | 7c8523e87bfc9eb3b2f84e076d263b621f0cf016 (patch) | |
| tree | 0fc14e95ee40e6e8967b6cf965eaf9cb91d776fb /src/ci | |
| parent | 54fc9e4ea587ad3ebb3ccb5c409ccfa9e4b09b3d (diff) | |
| download | rust-7c8523e87bfc9eb3b2f84e076d263b621f0cf016.tar.gz rust-7c8523e87bfc9eb3b2f84e076d263b621f0cf016.zip | |
Retry downloading llvm commit tarball
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/init_repo.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index f8e86986f82..7ffe00a807b 100755 --- a/src/ci/init_repo.sh +++ b/src/ci/init_repo.sh @@ -61,7 +61,8 @@ for module in $modules; do if [ "$module" = src/llvm ]; then commit="$(git ls-tree HEAD src/llvm | awk '{print $3}')" git rm src/llvm - curl -sSL -O "https://github.com/rust-lang/llvm/archive/$commit.tar.gz" + retry sh -c "rm -f $commit.tar.gz && \ + curl -sSL -O https://github.com/rust-lang/llvm/archive/$commit.tar.gz" tar -C src/ -xf "$commit.tar.gz" rm "$commit.tar.gz" mv "src/llvm-$commit" src/llvm |