From accb1d1b259c8c0dd631f7f6f5faa56fc9bedbf0 Mon Sep 17 00:00:00 2001
From: Vadim Yanitskiy <vyanitskiy@sysmocom.de>
Date: Sun, 28 Aug 2022 17:39:40 +0700
Subject: [PATCH] contrib/jenkins.sh: execute distcheck/maintainer-clean with
 $PARALLEL_MAKE

Change-Id: I14b0e0343dc70b72cc9e14641bccaa6da2059e46
---
 contrib/jenkins.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 939a514..62e6516 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -58,12 +58,12 @@ LD_LIBRARY_PATH="$inst/lib" $MAKE check \
   || cat-testlogs.sh
 LD_LIBRARY_PATH="$inst/lib" \
   DISTCHECK_CONFIGURE_FLAGS="--enable-vty-tests --enable-external-tests --enable-werror $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