diff options
-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 |