contrib/jenkins: Enable parallel make in make distcheck

Change-Id: Ie3f5b6063167875ecb2f25e194806a2476aec984 Related: OS#4421
2020-10-12 19:45:21 +02:00 · 2020-10-12 19:45:21 +02:00 · 3839605ec9
parent 974cc7b324
commit 3839605ec9
1 changed files with 2 additions and 2 deletions
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@ -97,12 +97,12 @@ autoreconf --install --force
 ./configure $PCU_CONFIG
 $MAKE $PARALLEL_MAKE
 DISTCHECK_CONFIGURE_FLAGS="$PCU_CONFIG" \
-  $MAKE distcheck \
+  $MAKE $PARALLEL_MAKE distcheck \
  || cat-testlogs.sh

 if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
  make -C "$base/doc/manuals" publish
 fi

-$MAKE maintainer-clean
+$MAKE $PARALLEL_MAKE maintainer-clean
 osmo-clean-workspace.sh