diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 1fd19d1..626160e 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -10,6 +10,7 @@ autoreconf -fi ./configure $MAKE $PARALLEL_MAKE $MAKE $PARALLEL_MAKE check +$MAKE $PARALLEL_MAKE distcheck if [ "x$publish" = "x--publish" ]; then mkdir out/