aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@sysmocom.de>2020-10-12 17:40:00 +0200
committerpespin <pespin@sysmocom.de>2020-10-13 08:24:03 +0000
commit3c5fa2df44b53dc04b2697cd45cd6ac718818834 (patch)
tree3709cc7e4e35144e69ef2c88f353474c59502a55
parent86160ace737c17c6b7d027068c5d38f932832328 (diff)
contrib: jenkins: Enable parallel make in make distcheck
-rwxr-xr-xcontrib/jenkins_amd64.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh
index c79e26ab..3fee57cf 100755
--- a/contrib/jenkins_amd64.sh
+++ b/contrib/jenkins_amd64.sh
@@ -29,7 +29,7 @@ build .
# 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