Merge branch 'bugfix/ci_use_mirror_for_public' into 'master'
ci: Use local mirrors on the public branches too See merge request idf/esp-idf!2836
This commit is contained in:
commit
466ec6d9ac
1 changed files with 4 additions and 4 deletions
|
@ -30,16 +30,16 @@ die() {
|
||||||
[ -z ${GITLAB_SSH_SERVER} ] && die "GITLAB_SSH_SERVER should be defined to run mirror-submodule-update.sh"
|
[ -z ${GITLAB_SSH_SERVER} ] && die "GITLAB_SSH_SERVER should be defined to run mirror-submodule-update.sh"
|
||||||
[ -z ${CI_REPOSITORY_URL} ] && die "CI_REPOSITORY_URL should be defined to run mirror-submodule-update.sh"
|
[ -z ${CI_REPOSITORY_URL} ] && die "CI_REPOSITORY_URL should be defined to run mirror-submodule-update.sh"
|
||||||
[ -z ${CI_COMMIT_SHA} ] && die "CI_COMMIT_SHA should be defined to run mirror-submodule-update.sh"
|
[ -z ${CI_COMMIT_SHA} ] && die "CI_COMMIT_SHA should be defined to run mirror-submodule-update.sh"
|
||||||
[[ ( -z ${IS_PRIVATE} ) && ( -z ${IS_PUBLIC} ) ]] && die "IS_PRIVATE or IS_PUBLIC should be defined in the CI environment."
|
DONT_USE_MIRROR=${DONT_USE_MIRROR:-"0"}
|
||||||
|
|
||||||
ERR_CANNOT_UPDATE=13
|
ERR_CANNOT_UPDATE=13
|
||||||
|
|
||||||
SCRIPT_DIR=$(dirname -- "${0}")
|
SCRIPT_DIR=$(dirname -- "${0}")
|
||||||
update_submodules() {
|
update_submodules() {
|
||||||
if [ "${IS_PRIVATE}" ]; then
|
if [ "${DONT_USE_MIRROR}" = "1" ]; then
|
||||||
${SCRIPT_DIR}/mirror-submodule-update.sh || return $?
|
|
||||||
else
|
|
||||||
git submodule update --init --recursive
|
git submodule update --init --recursive
|
||||||
|
else
|
||||||
|
${SCRIPT_DIR}/mirror-submodule-update.sh || return $?
|
||||||
fi
|
fi
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue