diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:24:48 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:25:13 +0200 |
commit | 424e50f7615ecfad74e432769cdb300fafebf5e3 (patch) | |
tree | 7a220d32563af27b7b7467547cb2d15e5d434124 /contrib | |
parent | ef5b839e23dc4989730ce8002a6e2f5cc7b1a100 (diff) |
contrib/jenkins: Enable parallel make in make distcheck
Related: OS#4421
Change-Id: I54b084de6080ab8c438c2c85663abe01c54b07fe
Diffstat (limited to 'contrib')
-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 727cffe..b902cc6 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -38,8 +38,8 @@ set -x autoreconf --install --force ./configure --enable-sanitize --enable-werror --enable-e1d $MAKE $PARALLEL_MAKE -$MAKE distcheck \ +$MAKE $PARALLEL_MAKE distcheck \ || cat-testlogs.sh -$MAKE maintainer-clean +$MAKE $PARALLEL_MAKE maintainer-clean osmo-clean-workspace.sh |