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