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
This commit is contained in:
parent
f61d3ad8b5
commit
ff961f6a9b
|
@ -121,10 +121,12 @@ docker_images_require() {
|
||||||
|
|
||||||
for i in $@; do
|
for i in $@; do
|
||||||
# Don't build images that are available on the private
|
# 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
|
if [ "$REGISTRY_HOST" = "registry.osmocom.org" ]; then
|
||||||
case "$i" in
|
case "$i" in
|
||||||
debian-stretch-titan)
|
debian-stretch-titan)
|
||||||
|
docker pull "$REGISTRY_HOST/$USER/$i"
|
||||||
continue
|
continue
|
||||||
;;
|
;;
|
||||||
esac
|
esac
|
||||||
|
|
Loading…
Reference in New Issue