commit | 2ded53c4407880b31e89cfac390c2a07afa8625d | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:26:21 2019 +0200 |
committer | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:26:21 2019 +0200 |
tree | 0507a03b7e1f5c44f72cb4fc281987592b9faf2b | |
parent | 95c8318d5d0a6346d11cb521f7f711e447ebe648 [diff] [blame] |
contrib/jenkins.sh: run "make maintainer-clean" Related: OS#3047 Change-Id: I6d541b47e68f5a8a61ac139a3ea85a9cb33856c1
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index dedec81..1dd8478 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -107,4 +107,5 @@ make -C "$base/doc/manuals" publish fi +$MAKE maintainer-clean osmo-clean-workspace.sh