commit 424e50f7615ecfad74e432769cdb300fafebf5e3
author Pau Espin Pedrol <pespin@sysmocom.de> Mon Oct 12 18:24:48 2020 +0200
committer Pau Espin Pedrol <pespin@sysmocom.de> Mon Oct 12 18:25:13 2020 +0200
tree 7a220d32563af27b7b7467547cb2d15e5d434124
parent ef5b839e23dc4989730ce8002a6e2f5cc7b1a100

contrib/jenkins: Enable parallel make in make distcheck

Related: OS#4421
Change-Id: I54b084de6080ab8c438c2c85663abe01c54b07fe

contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 727cffe..b902cc6 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -38,8 +38,8 @@
 autoreconf --install --force
 ./configure --enable-sanitize --enable-werror --enable-e1d
 $MAKE $PARALLEL_MAKE
-$MAKE distcheck \
+$MAKE $PARALLEL_MAKE distcheck \
   || cat-testlogs.sh
-$MAKE maintainer-clean
+$MAKE $PARALLEL_MAKE maintainer-clean
 
 osmo-clean-workspace.sh