diff --git a/Jenkinsfile b/Jenkinsfile index 0b79556b3..cea860cba 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,15 @@ pipeline { agent any stages { + stage('Init Submodules') { + steps { + sh 'git submodule update --init --recursive' + } + } + stage('Build') { steps { - sh 'bash ./scripts/inst.sh --setup --fast' + sh 'bash ./scripts/inst.sh --setup --fast' } }