fixeria submitted this change.

View Change

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

Change-Id: I2fe0de9bcb372333da1e5c81712a511cda34858c
---
M contrib/jenkins.sh
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 104ba2a..0848bea 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -53,6 +53,7 @@
 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

To view, visit change 29218. To unsubscribe, or for help writing mail filters, visit settings.