contrib/jenkins: Enable parallel make in make distcheck

Change-Id: Ib91fb2e09d5260bef03dec653e26eeb4378e8e74
Related: OS#4421
This commit is contained in:
Pau Espin 2020-10-12 19:43:04 +02:00
parent 2db8da22d6
commit e1de96088d
1 changed files with 2 additions and 2 deletions

View File

@ -51,12 +51,12 @@ build_bts() {
./configure $conf_flags
$MAKE $PARALLEL_MAKE
$MAKE check || cat-testlogs.sh
DISTCHECK_CONFIGURE_FLAGS="$conf_flags" $MAKE distcheck || cat-testlogs.sh
DISTCHECK_CONFIGURE_FLAGS="$conf_flags" $MAKE $PARALLEL_MAKE distcheck || cat-testlogs.sh
# Manuals: publish
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
$MAKE -C "$base/doc/manuals" publish
fi
$MAKE maintainer-clean
$MAKE $PARALLEL_MAKE maintainer-clean
}