From d0d2434fbac88ffbed7d63d56d003bd8361ef7bd Mon Sep 17 00:00:00 2001
From: Pieter-Jan Briers <pieterjan.briers+git@gmail.com>
Date: Tue, 2 Feb 2021 03:39:31 +0100
Subject: [PATCH] Make Jenkinsfile more resilient against engine tag
 shenanigans

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index dfcd04b25e..892e50b646 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,6 +5,9 @@ pipeline {
         stage('Setup') {
             steps {
                 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\\"'
             }
         }
         stage('Build') {