diff options
| -rw-r--r-- | Jenkinsfile | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/Jenkinsfile b/Jenkinsfile index 37bdeeee..6151fb72 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -142,6 +142,7 @@ pipeline {          }          stage('Build Packages') {              steps { +                sh 'git submodule update --remote'                  sh 'scripts/build-submodules'              }          } | 
