diff --git a/contrib/jenkins-build-common.sh b/contrib/jenkins-build-common.sh index 4a17d4d1..b41fc059 100644 --- a/contrib/jenkins-build-common.sh +++ b/contrib/jenkins-build-common.sh @@ -102,6 +102,8 @@ have_repo() { echo "$(git rev-parse HEAD) $repo" >> "$prefix_real/${name}_git_hashes.txt" + git submodule update --init + cd "$base" }