diff options
| author | Eric Huss <eric@huss.org> | 2022-06-23 14:00:03 -0700 |
|---|---|---|
| committer | Eric Huss <eric@huss.org> | 2022-06-23 14:00:03 -0700 |
| commit | 1d7c20c345b0042b8dd2eeda2892c872fc68b3ca (patch) | |
| tree | 977e91fe63329ba30e42af0253a46fb38b3d491d /src/ci/docker | |
| parent | 0143552b2c7bbe0946bb198839916470b6b362a5 (diff) | |
| download | rust-1d7c20c345b0042b8dd2eeda2892c872fc68b3ca.tar.gz rust-1d7c20c345b0042b8dd2eeda2892c872fc68b3ca.zip | |
Remove duplicated fetch_github_commit_archive in CI scripts.
The code using `fetch_github_commit_archive` was removed in #72937.
Diffstat (limited to 'src/ci/docker')
| -rw-r--r-- | src/ci/docker/host-x86_64/dist-various-2/shared.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/ci/docker/host-x86_64/dist-various-2/shared.sh b/src/ci/docker/host-x86_64/dist-various-2/shared.sh index 267d8b79cc2..291f26bdaeb 100644 --- a/src/ci/docker/host-x86_64/dist-various-2/shared.sh +++ b/src/ci/docker/host-x86_64/dist-various-2/shared.sh @@ -33,15 +33,3 @@ function retry { } done } - -# Copied from ../../init_repo.sh -function fetch_github_commit_archive { - local module=$1 - local cached="download-${module//\//-}.tar.gz" - retry sh -c "rm -f $cached && \ - curl -f -sSL -o $cached $2" - mkdir $module - touch "$module/.git" - tar -C $module --strip-components=1 -xf $cached - rm $cached -} |