From 04e980dd10ddb5aac4b0ffeb016162a1291f2c60 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Wed, 10 Jul 2019 12:21:18 +0200
Subject: contrib/jenkins.sh: run "make maintainer-clean"

Related: OS#3047
Change-Id: I9d9b2412f005e4bda0ed35ba715cfb4dca1b04c1
---
 contrib/jenkins_common.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh
index fd0359bf..6e4fa7e3 100644
--- a/contrib/jenkins_common.sh
+++ b/contrib/jenkins_common.sh
@@ -57,4 +57,6 @@ build_bts() {
     if [ "$WITH_MANUALS" = "1" ] && [ "$PUBLISH" = "1" ]; then
         $MAKE -C "$base/doc/manuals" publish
     fi
+
+    $MAKE maintainer-clean
 }
-- 
cgit v1.2.3