diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-07-11 11:00:06 +0200 |
---|---|---|
committer | Steve Markgraf <steve@steve-m.de> | 2019-07-16 23:19:46 +0200 |
commit | 7f2ae12548a1a2f74ae2d33e37fec0d141ed5b8f (patch) | |
tree | a66ec0f7292bae38645b57c3bbf7930ff92b84cc /contrib | |
parent | f68bb2fa772ad94f58c59babd78353667570630b (diff) |
contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047
Signed-off-by: Oliver Smith <osmith@sysmocom.de>
Signed-off-by: Steve Markgraf <steve@steve-m.de>
Diffstat (limited to 'contrib')
-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 cb566f1..0538406 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -36,5 +36,6 @@ LD_LIBRARY_PATH="$inst/lib" \ DISTCHECK_CONFIGURE_FLAGS="--enable-werror" \ $MAKE distcheck \ || cat-testlogs.sh +$MAKE maintainer-clean osmo-clean-workspace.sh |