From eba9abfc9aa1a97b5a13110f38c9cbdebf3521a0 Mon Sep 17 00:00:00 2001
From: Ulrich Mohr <mohr@irs.uni-stuttgart.de>
Date: Fri, 28 Jan 2022 14:10:24 +0100
Subject: [PATCH] Jenkinsfile syntax is weird, maybe this works...

---
 automation/Jenkinsfile | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index afb433653..1853308ca 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
         stage('Create Docker') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     additionalBuildArgs  '--no-cache'
                     reuseNode true
                 }
@@ -27,7 +27,7 @@ pipeline {
         stage('Clean') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     reuseNode true
                 }
             }
@@ -45,7 +45,7 @@ pipeline {
         stage('Configure') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     reuseNode true
                 }
             }
@@ -58,7 +58,7 @@ pipeline {
         stage('Build') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     reuseNode true
                 }
             }
@@ -71,7 +71,7 @@ pipeline {
         stage('Unittests') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     reuseNode true
                 }
             }
@@ -84,7 +84,7 @@ pipeline {
         stage('Valgrind') {
             agent {
                 dockerfile {
-                    dir '$DOCK_FILE_DIR'
+                    dir DOCK_FILE_DIR
                     reuseNode true
                 }
             }