jenkins-common.sh: pull registry.osmocom.org imgs

Pull debian-stretch-titan from registry.osmocom.org if the repository is
enabled. Otherwise the image gets only pulled the first time, and does
not get updated once it becomes outdated.

Change-Id: I1cf998c21e4ee1f723c3b783703e339328377f3e
This commit is contained in:
Oliver Smith 2021-12-03 17:09:11 +01:00
parent 2b5afe65cc
commit 7eded34aba
1 changed files with 3 additions and 1 deletions

View File

@ -121,10 +121,12 @@ docker_images_require() {
for i in $@; do
# Don't build images that are available on the private
# registry, if using it.
# registry, if using it. Instead, pull the images to make sure
# they are up-to-date.
if [ "$REGISTRY_HOST" = "registry.osmocom.org" ]; then
case "$i" in
debian-stretch-titan)
docker pull "$REGISTRY_HOST/$USER/$i"
continue
;;
esac