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

Related: OS#3047
Change-Id: I37908c12dae9d268b8bde186e2743a2d7fd13536
This commit is contained in:
Oliver Smith 2019-07-10 12:06:45 +02:00
parent f0f1ebf70e
commit 6563cf3399
1 changed files with 1 additions and 0 deletions

View File

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