diff options
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}" } |