summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 12:20:13 +0200
committerOliver Smith <osmith@sysmocom.de>2019-07-10 12:20:13 +0200
commitcf711d834b09b71282acb9fbb77276002485d92c (patch)
treedddef620f31897fbfc88d6d37eac75ca80403b10
parent9f1ae081d514824ef5c4edeb51626d31e1b4a756 (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 277fece04..da8703a22 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -46,6 +46,7 @@ build_project() {
"$MAKE" $PARALLEL_MAKE
"$MAKE" check || cat-testlogs.sh
"$MAKE" distcheck || cat-testlogs.sh
+ "$MAKE" maintainer-clean
}
. osmo-build.sh