commit | 6349bd422a18a30b3261aab56a04280d5879145a | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 12:29:48 2019 +0200 |
committer | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:29:36 2019 +0200 |
tree | b6b65a70572e850651e9be6166583b658b2a17c9 | |
parent | 796a4a132569db9b2b1e275c1a05c4ab93f4186d [diff] |
contrib/jenkins.sh: run "make maintainer-clean" Related: OS#3047 Change-Id: I60c713a64ef629f0cb88121632ea6adc017fd0ae
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 9777d4b..706ad5c 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -63,4 +63,5 @@ make -C "$base/doc/manuals" publish fi +$MAKE maintainer-clean osmo-clean-workspace.sh