commit | 5c3a9880cadc29ab8f4354ad2205563ab51201d7 | [log] [tgz] |
---|---|---|
author | Oliver Smith <osmith@sysmocom.de> | Wed Jul 10 13:23:24 2019 +0200 |
committer | laforge <laforge@gnumonks.org> | Thu Jul 11 03:38:37 2019 +0000 |
tree | a794e4d657b8b1c85aa9e63e5f8f3ffc1f7078be | |
parent | e4e70d052e4b28f2d31539d9141df3a0717ff357 [diff] [blame] |
contrib/jenkins.sh: run "make maintainer-clean" Related: OS#3047 Change-Id: I733df8f8bfaf448a6507c9c9d75d2f076fedb342
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index e805080..8c32cbb 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh
@@ -104,4 +104,5 @@ make -C "$base/doc/manuals" publish fi +$MAKE maintainer-clean osmo-clean-workspace.sh