contrib/jenkins.sh: run "make maintainer-clean"

Related: OS#3047
Change-Id: I6d541b47e68f5a8a61ac139a3ea85a9cb33856c1
This commit is contained in:
Oliver Smith 2019-07-10 13:26:21 +02:00
parent 95c8318d5d
commit 2ded53c440
1 changed files with 1 additions and 0 deletions

View File

@ -107,4 +107,5 @@ if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
make -C "$base/doc/manuals" publish
fi
$MAKE maintainer-clean
osmo-clean-workspace.sh