diff options
| author | Max <msuraev@sysmocom.de> | 2018-01-18 17:37:18 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-01-24 11:33:19 +0000 |
| commit | e41ad4d0084eca4a463970c0cc58867d92779cbc (patch) | |
| tree | 9232b3459dc036ae3ff158b12d608ca7cbd966e4 /contrib/jenkins_common.sh | |
| parent | 8e8378a84d25576ae03fc44b40b5197a511322fd (diff) | |
jenkins: move make invocation into shared function
Change-Id: Ied8c1085b8bee2cc4fa65592e805838b8cdae287
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 +} |