commit | 54138657114fef9994cc4fead7e1aa118ba428c5 | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:24:35 2019 +0200 |
committer | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:24:35 2019 +0200 |
tree | 6d49006d98a662398f1c3bf09d140fe64c24cfcd | |
parent | e7a5764f1ace6e8f8d52bede0b492530633718d7 [diff] [blame] |
contrib/jenkins.sh: run "make maintainer-clean" Related: OS#3047 Change-Id: Ic887518bd149f325a92c3517ee90c655b1368fd8
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index a9d871f..51583f8 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -77,4 +77,5 @@ make -C "$base/doc/manuals" publish fi +$MAKE maintainer-clean osmo-clean-workspace.sh