contrib/jenkins.sh: also execute maintainer-clean target

Change-Id: I2fe0de9bcb372333da1e5c81712a511cda34858c
This commit is contained in:
Vadim Yanitskiy 2022-08-28 17:23:27 +07:00
parent d5c0b73f00
commit 8f15c2c23d
1 changed files with 1 additions and 0 deletions

View File

@ -53,6 +53,7 @@ $MAKE $PARALLEL_MAKE
DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests $CONFIG" \
$MAKE distcheck \
|| cat-testlogs.sh
$MAKE $PARALLEL_MAKE maintainer-clean
if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/doc/manuals" publish