diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:26:29 +0200 |
---|---|---|
committer | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 18:29:28 +0200 |
commit | d89fb543179cc43da63af940a084ee5dcc40f1f3 (patch) | |
tree | 0cc93d6004306539478b0f8a39bd9508322696ce | |
parent | a38b83f39580b31c8edc8be036b2d64cffe7aad6 (diff) |
contrib/jenkins: Enable parallel make in make distcheck
Change-Id: Id4dbcbf858a9d0a16bdb83c8ac01355988c74eb0
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 5cfa8cb..bf04643 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -37,8 +37,8 @@ set -x autoreconf --install --force ./configure --enable-sanitize --enable-werror $MAKE $PARALLEL_MAKE -$MAKE distcheck \ +$MAKE $PARALLEL_MAKE distcheck \ || cat-testlogs.sh -$MAKE maintainer-clean +$MAKE $PARALLEL_MAKE maintainer-clean osmo-clean-workspace.sh |