diff options
-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 |