diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 19:45:21 +0200 |
---|---|---|
committer | laforge <laforge@osmocom.org> | 2020-10-13 08:21:00 +0000 |
commit | 3839605ec9a0878f825278d1c4e57b2b1b63e9a8 (patch) | |
tree | 212854385493f34a1224c1922eae008b6f519140 | |
parent | 974cc7b32447a85d95e45f66e878234232bbe227 (diff) |
contrib/jenkins: Enable parallel make in make distcheck
Change-Id: Ie3f5b6063167875ecb2f25e194806a2476aec984
Related: OS#4421
-rwxr-xr-x | contrib/jenkins.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 8c32cbb9..e40e081a 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -97,12 +97,12 @@ autoreconf --install --force ./configure $PCU_CONFIG $MAKE $PARALLEL_MAKE DISTCHECK_CONFIGURE_FLAGS="$PCU_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 |