summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 12:24:37 +0200
committerOliver Smith <osmith@sysmocom.de>2019-07-10 13:31:03 +0200
commit2d7cc61101e7b6a3b5d942a7e79961a79303c812 (patch)
tree54a02c957cc195e9d02005126f0388b49d9ed26e
parentcc95b5ebe341dedd0866bcbfe8dadc385e536193 (diff)
contrib/jenkins.sh: run "make maintainer-clean"
-rwxr-xr-xcontrib/jenkins.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 255ad71..a6ca30e 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -44,5 +44,6 @@ autoreconf --install --force
$MAKE $PARALLEL_MAKE
$MAKE check || cat-testlogs.sh
DISTCHECK_CONFIGURE_FLAGS="$CONFIG" $MAKE distcheck || cat-testlogs.sh
+$MAKE maintainer-clean
osmo-clean-workspace.sh