diff options
| author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:28:55 +0200 |
|---|---|---|
| committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:28:55 +0200 |
| commit | e7c8067df026fd294af2c95fbd2ceb16eeab7d74 (patch) | |
| tree | 90e76449415fac7a187863269b54fd61f8e07347 | |
| parent | 320c71d45cbec07034654130ae4ee8d2f0f60976 (diff) | |
contrib/jenkins: Enable parallel make in make distcheck
Change-Id: I667b245e468b9a2bcc5c9a1a04d59a940e71b24c
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 23ff522..5d40573 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -52,12 +52,12 @@ autoreconf --install --force ./configure --enable-sanitize --enable-werror --enable-external-tests $CONFIG $MAKE $PARALLEL_MAKE DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests $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 |