From e1de96088db39e982e374e27c76432e3b05a119a Mon Sep 17 00:00:00 2001
From: Pau Espin Pedrol <pespin@sysmocom.de>
Date: Mon, 12 Oct 2020 19:43:04 +0200
Subject: [PATCH] contrib/jenkins: Enable parallel make in make distcheck

Change-Id: Ib91fb2e09d5260bef03dec653e26eeb4378e8e74
Related: OS#4421
---
 contrib/jenkins_common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh
index 6e4fa7e39..085ca1e45 100644
--- a/contrib/jenkins_common.sh
+++ b/contrib/jenkins_common.sh
@@ -51,12 +51,12 @@ build_bts() {
     ./configure $conf_flags
     $MAKE $PARALLEL_MAKE
     $MAKE check || cat-testlogs.sh
-    DISTCHECK_CONFIGURE_FLAGS="$conf_flags" $MAKE distcheck || cat-testlogs.sh
+    DISTCHECK_CONFIGURE_FLAGS="$conf_flags" $MAKE $PARALLEL_MAKE distcheck || cat-testlogs.sh
 
     # Manuals: publish
     if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
         $MAKE -C "$base/doc/manuals" publish
     fi
 
-    $MAKE maintainer-clean
+    $MAKE $PARALLEL_MAKE maintainer-clean
 }