commit 3c5fa2df44b53dc04b2697cd45cd6ac718818834
author Pau Espin Pedrol <pespin@sysmocom.de> Mon Oct 12 17:40:00 2020 +0200
committer pespin <pespin@sysmocom.de> Tue Oct 13 08:24:03 2020 +0000
tree 3709cc7e4e35144e69ef2c88f353474c59502a55
parent 86160ace737c17c6b7d027068c5d38f932832328

contrib: jenkins: Enable parallel make in make distcheck

Related: OS#4421
Change-Id: I4db992d599bd5cdc16a58729695654d1b759b682

contrib/jenkins_amd64.sh

diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh
index c79e26a..3fee57c 100755
--- a/contrib/jenkins_amd64.sh
+++ b/contrib/jenkins_amd64.sh
@@ -29,7 +29,7 @@
 # do distcheck only once, which is fine from built source tree, since distcheck
 # is well separated from the source tree state.
 DISTCHECK_CONFIGURE_FLAGS=--enable-external-tests \
-    $MAKE distcheck \
+    $MAKE $PARALLEL_MAKE distcheck \
     || cat-testlogs.sh
 $MAKE maintainer-clean