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

Related: OS#3047
Change-Id: I6f9274efeb2fdda54feaa54eb299f7aafaaec1eb
This commit is contained in:
Oliver Smith 2019-07-10 12:29:06 +02:00
parent 11b1ddee21
commit 89ccf5517c
1 changed files with 1 additions and 0 deletions

View File

@ -55,5 +55,6 @@ $MAKE check \
|| cat-testlogs.sh
$MAKE distcheck \
|| cat-testlogs.sh
$MAKE maintainer-clean
osmo-clean-workspace.sh