From b284c8266823223f91923e60e37281efdd424643 Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers+git@gmail.com>
Date: Tue, 2 Feb 2021 22:28:23 +0100
Subject: [PATCH] >Expecting shell scripting to ever work sanely.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 892e50b646..fd90f90fa7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
                 sh 'git submodule update --init --recursive'
                 // Do a git fetch to make sure tags in the engine get pulled in if they've been added later.
                 // Can happen if somebody forgot to tag the engine then tried to fix it by tagging later.
-                sh 'git submodule foreach \\"git fetch\\"'
+                sh 'cd RobustToolbox && git fetch && cd ..'
             }
         }
         stage('Build') {