aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPau Espin Pedrol <pespin@sysmocom.de>2020-10-12 17:44:18 +0200
committerPau Espin Pedrol <pespin@sysmocom.de>2020-10-12 17:44:21 +0200
commit102c81cf1b9ee9471618fcdf421100382032a953 (patch)
treec5a7d198b41182bf8dec3a55ab97ccfe5fafd86a
parent01b2d940a048c421dd6d2a0b5d2b4cf86d0e6968 (diff)
Enable parallel make in make distcheckHEADmaster
-rwxr-xr-xcontrib/jenkins.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 43e81a1..353cf49 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -7,7 +7,7 @@ osmo-clean-workspace.sh
autoreconf --install --force
./configure --enable-sanitize CFLAGS="-Werror" CPPFLAGS="-Werror"
$MAKE $PARALLEL_MAKE
-$MAKE distcheck
-$MAKE maintainer-clean
+$MAKE $PARALLEL_MAKE distcheck
+$MAKE $PARALLEL_MAKE maintainer-clean
osmo-clean-workspace.sh