From 1ead156c645c89cdea104268f34e8d7c291a66d1 Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Mon, 31 Jan 2022 15:08:52 +0100
Subject: [PATCH] added --pull to the docker build

---
 automation/Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index af4ad6a52..09ac9649d 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -5,7 +5,9 @@ pipeline {
     agent {
         dockerfile {
             dir 'automation'
-            additionalBuildArgs  '--no-cache'
+            #force docker to redownload base image and rebuild all steps instead of caching them
+            #this way, we always get an up to date docker image one each build
+            additionalBuildArgs  '--no-cache --pull'
             reuseNode true
         }
     }