summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 12:01:50 +0200
committerlaforge <laforge@gnumonks.org>2019-07-11 03:37:36 +0000
commita3dec04c004f5d8ef8fe0c628e278fa35368dcd9 (patch)
treef59bcf826da215052c37c47e4b2f4a620f978134
parentd1f15bd8964b97f7938ac370774db5b621c8c12b (diff)
contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047 Change-Id: Ic147678e7906a8b9ad7fac8367602b656f4172e6
-rwxr-xr-xcontrib/jenkins_amd64.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh
index 9b837930..c79e26ab 100755
--- a/contrib/jenkins_amd64.sh
+++ b/contrib/jenkins_amd64.sh
@@ -31,5 +31,6 @@ build .
DISTCHECK_CONFIGURE_FLAGS=--enable-external-tests \
$MAKE distcheck \
|| cat-testlogs.sh
+$MAKE maintainer-clean
osmo-clean-workspace.sh