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

Related: OS#3047
Change-Id: Ifb581662b05d938acc04636c2a408e43bbe10bf0
This commit is contained in:
Oliver Smith 2019-07-10 11:41:27 +02:00
parent 89c1082b3d
commit 9d4b6b3750
1 changed files with 1 additions and 0 deletions

View File

@ -38,5 +38,6 @@ autoreconf --install --force
$MAKE $PARALLEL_MAKE
LD_LIBRARY_PATH="$inst/lib" $MAKE check || cat-testlogs.sh
LD_LIBRARY_PATH="$inst/lib" DISTCHECK_CONFIGURE_FLAGS="" $MAKE distcheck || cat-testlogs.sh
$MAKE maintainer-clean
osmo-clean-workspace.sh