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

Related: OS#3047
Change-Id: I0ad159a3973d28ac79ea7fb433401c72b247c2b0
This commit is contained in:
Oliver Smith 2019-07-10 12:25:35 +02:00
parent 08ca425bc2
commit ad252e70aa
1 changed files with 1 additions and 0 deletions

View File

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