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

Related: OS#3047
Change-Id: Ib261f25e2c7b48283a6142259991aadfcf40cdec
This commit is contained in:
Oliver Smith 2019-07-10 11:59:22 +02:00
parent 6eb186c097
commit 5318f43dae
1 changed files with 1 additions and 0 deletions

View File

@ -37,5 +37,6 @@ autoreconf --install --force
$MAKE $PARALLEL_MAKE
$MAKE distcheck \
|| cat-testlogs.sh
$MAKE maintainer-clean
osmo-clean-workspace.sh