diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 19:29:36 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 19:29:36 +0200 |
commit | 89649ea997c39b5877c859e65fc03c3e7939157d (patch) | |
tree | 9baafa9bcceeeaadb48ace322c54c846712b2d9b | |
parent | 23ac586522c3f6e4abc89dd29ea449d6f2445abc (diff) |
contrib/jenkins: Enable parallel make in make distcheck
Change-Id: I1973e7a2a3be07b2db1db1cf5f05fd29101ee06a
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 522d72e..b924075 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -57,11 +57,11 @@ autoreconf --install --force $CONFIG $MAKE $PARALLEL_MAKE $MAKE check || cat-testlogs.sh -DISTCHECK_CONFIGURE_FLAGS="$CONFIG" $MAKE distcheck || cat-testlogs.sh +DISTCHECK_CONFIGURE_FLAGS="$CONFIG" $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 |