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 | |
| parent | 0143552b2c7bbe0946bb198839916470b6b362a5 (diff) | |
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')
| -rw-r--r-- | src/ci/docker/host-x86_64/dist-various-2/shared.sh | 12 | ||||
| -rwxr-xr-x | src/ci/init_repo.sh | 1 |
2 files changed, 0 insertions, 13 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 -} diff --git a/src/ci/init_repo.sh b/src/ci/init_repo.sh index fd3491ace48..23c5ec559e4 100755 --- a/src/ci/init_repo.sh +++ b/src/ci/init_repo.sh @@ -21,7 +21,6 @@ if [ "$(releaseChannel)" = "beta" ]; then git fetch origin --unshallow beta master fi -# Duplicated in docker/dist-various-2/shared.sh function fetch_github_commit_archive { local module=$1 local cached="download-${module//\//-}.tar.gz" |