diff options
author | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 12:20:13 +0200 |
---|---|---|
committer | Oliver Smith <osmith@sysmocom.de> | 2019-07-10 12:20:13 +0200 |
commit | cf711d834b09b71282acb9fbb77276002485d92c (patch) | |
tree | dddef620f31897fbfc88d6d37eac75ca80403b10 | |
parent | 9f1ae081d514824ef5c4edeb51626d31e1b4a756 (diff) |
contrib/jenkins.sh: run "make maintainer-clean"
Related: OS#3047
Change-Id: I3324f96ea0ec25b210562e0523b21f1a94db12ec
-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 277fece04..da8703a22 100755 --- a/contrib/jenkins.sh +++ b/contrib/jenkins.sh @@ -46,6 +46,7 @@ build_project() { "$MAKE" $PARALLEL_MAKE "$MAKE" check || cat-testlogs.sh "$MAKE" distcheck || cat-testlogs.sh + "$MAKE" maintainer-clean } . osmo-build.sh |