diff --git a/Jenkinsfile b/Jenkinsfile index a920467..9a3cc77 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,6 +8,7 @@ pipeline { steps { sh 'apt-get update' sh 'git submodule update --init --remote --recursive' + sh 'git submodule update' sh './attach_modules.sh' sh 'cd libraries; ./build.sh'