diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 13:25:45 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 13:25:45 +0200 |
commit | c1871cd9cd40e01c3df3b7b645f631c4b6084777 (patch) | |
tree | 472d3ce1fe1980485358c0bed46584e0ab245e42 | |
parent | 9784c815aae46fa51e8c69448b35f4cb1b4db20b (diff) |
contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047
Change-Id: I7b39a97243de93383c77a0e172d737263d48053a
-rwxr-xr-x | contrib/jenkins.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh index 631f95a..ff93c40 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -46,4 +46,5 @@ LD_LIBRARY_PATH="$inst/lib" \ $MAKE distcheck \ || cat-testlogs.sh +$MAKE maintainer-clean osmo-clean-workspace.sh |