diff options
Diffstat (limited to 'contrib/jenkins_common.sh')
-rw-r--r-- | contrib/jenkins_common.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/jenkins_common.sh b/contrib/jenkins_common.sh index a6ffe7f7..fa1d544b 100644 --- a/contrib/jenkins_common.sh +++ b/contrib/jenkins_common.sh @@ -26,3 +26,7 @@ prep_build() { mkdir -p "$_build_dir" cd "$_build_dir" } + +run_make() { + $MAKE $PARALLEL_MAKE check || cat-testlogs.sh +} |