From 879fdf76050b0065dc0557375350f4f8e32f09b7 Mon Sep 17 00:00:00 2001
From: MegaMech <MegaMech@users.noreply.github.com>
Date: Tue, 9 Apr 2024 23:05:33 -0600
Subject: [PATCH] Update Jenkinsfile (#602)

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

diff --git a/Jenkinsfile b/Jenkinsfile
index c76cefbe9..7b4cf6511 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -16,6 +16,7 @@ pipeline {
   stages {
     stage('Build Tools') {
       steps {
+        sh 'git submodule update --init --recursive'
         sh 'make -j4 -C tools/'
       }
     }