Update Jenkinsfile (#602)

2026-07-06 05:54:59 -04:00 · 2024-04-09 23:05:33 -06:00
parent d04ce46573
commit 879fdf7605
1 changed files with 1 additions and 0 deletions
@@ -16,6 +16,7 @@ pipeline {
  stages {
    stage('Build Tools') {
      steps {
+        sh 'git submodule update --init --recursive'
        sh 'make -j4 -C tools/'
      }
    }