From cf711d834b09b71282acb9fbb77276002485d92c Mon Sep 17 00:00:00 2001 From: Oliver Smith Date: Wed, 10 Jul 2019 12:20:13 +0200 Subject: contrib/jenkins.sh: run "make maintainer-clean" Related: OS#3047 Change-Id: I3324f96ea0ec25b210562e0523b21f1a94db12ec --- contrib/jenkins.sh | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3