From c033c901fe9ca31c2f4cb3e12ddd72ca9eca5bf2 Mon Sep 17 00:00:00 2001
From: Paul Kehrer <paul.l.kehrer@gmail.com>
Date: Fri, 7 Jul 2017 13:20:29 -0500
Subject: explicitly pull the latest docker image in jenkins (#3760)

* explicitly pull the latest docker image in jenkins

Right now we don't need to do this since the same jenkins instance that
builds the images and tags them also pushes them, so it is guaranteed to
always have the latest. However, if we want to add another docker
builder that is no longer true, so let's always pull

* mos(t) def

* also this one
---
 Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 3492b54b..c7710d64 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -306,7 +306,9 @@ for (config in configs) {
             builders[combinedName] = {
                 node(label) {
                     stage(combinedName) {
-                        docker.image(imageName).inside {
+                        def buildImage = docker.image(imageName)
+                        buildImage.pull()
+                        buildImage.inside {
                             build(toxenv, label, imageName, artifacts, artifactExcludes)
                         }
                     }
-- 
cgit v1.2.3