diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 11:47:58 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-04-02 14:15:33 +0200 |
commit | 23d603a3af45771244c9aef9aa440e91cf4f7614 (patch) | |
tree | b049602994d49cda91d0481c8ffdf15ceaa7f3d7 /docker | |
parent | f1e5e56118d352a4dce692d306567a380384de1f (diff) |
docker/rebuild_osmocom_jenkins_image.sh: pull images
Prevent building docker images on top of outdated Debian images, where
the package download feeds have been disabled.
Related: Change-Id I1076bbb7d77bdc99f5d60d641c09ce965fb9dfc6
(docker-playground.git)
Related: OS#3869
Change-Id: Id840094aec51bf51d920aaa017a2f99fcb866f55
Diffstat (limited to 'docker')
-rwxr-xr-x | docker/rebuild_osmocom_jenkins_image.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docker/rebuild_osmocom_jenkins_image.sh b/docker/rebuild_osmocom_jenkins_image.sh index 3dcca39..6cf2f15 100755 --- a/docker/rebuild_osmocom_jenkins_image.sh +++ b/docker/rebuild_osmocom_jenkins_image.sh @@ -15,6 +15,9 @@ function build_container() { local tag_name=${1} local debian_version=${2} + echo "Pulling ${debian_version} image" + docker pull "debian:${debian_version}" + echo "Building for ${debian_version} and setting tag ${tag_name}" build_once "-t" "${tag_name}" "--build-arg" DEBIAN_VERSION="${debian_version}" } |