aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2019-07-10 12:21:18 +0200
committerOliver Smith <osmith@sysmocom.de>2019-07-10 13:36:11 +0200
commit04e980dd10ddb5aac4b0ffeb016162a1291f2c60 (patch)
tree76c3a77a3a8f13abf236f04ed66a55845647a22b
parent7d1d294807ba0acbc710225622095590ef085774 (diff)
contrib/jenkins.sh: run "make maintainer-clean"
-rw-r--r--contrib/jenkins_common.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh
index fd0359b..6e4fa7e 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
}