diff options
author | Pau Espin Pedrol <pespin@sysmocom.de> | 2020-10-12 17:40:00 +0200 |
---|---|---|
committer | pespin <pespin@sysmocom.de> | 2020-10-13 08:24:03 +0000 |
commit | 3c5fa2df44b53dc04b2697cd45cd6ac718818834 (patch) | |
tree | 3709cc7e4e35144e69ef2c88f353474c59502a55 /contrib | |
parent | 86160ace737c17c6b7d027068c5d38f932832328 (diff) |
contrib: jenkins: Enable parallel make in make distcheck
Related: OS#4421
Change-Id: I4db992d599bd5cdc16a58729695654d1b759b682
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/jenkins_amd64.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh index c79e26ab..3fee57cf 100755 --- a/contrib/jenkins_amd64.sh +++ b/contrib/jenkins_amd64.sh @@ -29,7 +29,7 @@ build . # do distcheck only once, which is fine from built source tree, since distcheck # is well separated from the source tree state. DISTCHECK_CONFIGURE_FLAGS=--enable-external-tests \ - $MAKE distcheck \ + $MAKE $PARALLEL_MAKE distcheck \ || cat-testlogs.sh $MAKE maintainer-clean |