We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0143552 commit 1d7c20cCopy full SHA for 1d7c20c
src/ci/docker/host-x86_64/dist-various-2/shared.sh
@@ -33,15 +33,3 @@ function retry {
33
}
34
done
35
36
-
37
-# Copied from ../../init_repo.sh
38
-function fetch_github_commit_archive {
39
- local module=$1
40
- local cached="download-${module//\//-}.tar.gz"
41
- retry sh -c "rm -f $cached && \
42
- curl -f -sSL -o $cached $2"
43
- mkdir $module
44
- touch "$module/.git"
45
- tar -C $module --strip-components=1 -xf $cached
46
- rm $cached
47
-}
src/ci/init_repo.sh
@@ -21,7 +21,6 @@ if [ "$(releaseChannel)" = "beta" ]; then
21
git fetch origin --unshallow beta master
22
fi
23
24
-# Duplicated in docker/dist-various-2/shared.sh
25
function fetch_github_commit_archive {
26
local module=$1
27
local cached="download-${module//\//-}.tar.gz"
0 commit comments