summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 11:53:57 +0200
committerOliver Smith <osmith@sysmocom.de>2019-07-10 11:53:57 +0200
commitcd145f87be92fd063b92249226c9f8eaf0734273 (patch)
tree616d185b4ec5d11b9fc39edaa1e867a44ee1baaf
parent5e00d6fd805f71fc0f8cea5cb26cf1a023b6cbb0 (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 7d68736..c23bdec 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -17,5 +17,6 @@ autoreconf --install --force
$MAKE $PARALLEL_MAKE
$MAKE distcheck \
|| cat-testlogs.sh
+$MAKE maintainer-clean
osmo-clean-workspace.sh