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_amd64.sh | |
| parent | 8e8378a84d25576ae03fc44b40b5197a511322fd (diff) | |
jenkins: move make invocation into shared function
Change-Id: Ied8c1085b8bee2cc4fa65592e805838b8cdae287
Diffstat (limited to 'contrib/jenkins_amd64.sh')
| -rwxr-xr-x | contrib/jenkins_amd64.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh index d336f0a0..ff1cfdc3 100755 --- a/contrib/jenkins_amd64.sh +++ b/contrib/jenkins_amd64.sh @@ -15,9 +15,9 @@ build() { prep_build "$src_dir" "$build_dir" - "$src_dir"/configure --enable-static $ENABLE_SANITIZE CFLAGS="-Werror" CPPFLAGS="-Werror" - $MAKE V=1 $PARALLEL_MAKE check \ - || cat-testlogs.sh + "$src_dir"/configure --disable-silent-rules --enable-static $ENABLE_SANITIZE CFLAGS="-Werror" CPPFLAGS="-Werror" + + run_make } # verify build in dir other than source tree |