diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux index 94a58267af..167529594b 100644 --- a/ci/Jenkinsfile.linux +++ b/ci/Jenkinsfile.linux @@ -58,6 +58,7 @@ pipeline { stages { stage('Deps') { steps { + sh 'make update' /* trigger fetching of git submodules */ sh 'make check-pkg-target-linux' /* TODO: Re-add caching of Nim compiler. */