diff options
author | Oliver Smith <osmith@sysmocom.de> | 2021-12-03 17:09:11 +0100 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2021-12-03 17:30:28 +0100 |
commit | ff961f6a9b69ceebb1a14ccd53d36717642a6313 (patch) | |
tree | fe60a1f4acf57eba0e66e2046e83c3c2ba2bb68a | |
parent | f61d3ad8b5f4ac0512bfca9be81c110fcddd9b39 (diff) |
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.
Fixes: OS#5336
Change-Id: I1cf998c21e4ee1f723c3b783703e339328377f3e
-rw-r--r-- | jenkins-common.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/jenkins-common.sh b/jenkins-common.sh index 88d053c..3511c02 100644 --- a/jenkins-common.sh +++ b/jenkins-common.sh @@ -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 |