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:09:11 +0100 |
| commit | 7eded34aba2b251778dad4badf83348720f0e790 (patch) | |
| tree | fe60a1f4acf57eba0e66e2046e83c3c2ba2bb68a | |
| parent | 2b5afe65cc043a66d0ddf9d6c89e3da24f0d17f3 (diff) | |
jenkins-common.sh: pull registry.osmocom.org imgsosmith/fix-registry-pull
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
| -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 |