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

Related: OS#3047
Change-Id: I7b39a97243de93383c77a0e172d737263d48053a
This commit is contained in:
Oliver Smith 2019-07-10 13:25:45 +02:00
parent 9784c815aa
commit c1871cd9cd
1 changed files with 1 additions and 0 deletions

View File

@ -46,4 +46,5 @@ LD_LIBRARY_PATH="$inst/lib" \
$MAKE distcheck \ $MAKE distcheck \
|| cat-testlogs.sh || cat-testlogs.sh
$MAKE maintainer-clean
osmo-clean-workspace.sh osmo-clean-workspace.sh