diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 584de075..728aab89 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -101,6 +101,7 @@ echo set -x cd "$base" +git submodule status autoreconf --install --force ./configure $CONFIG $MAKE $PARALLEL_MAKE