diff options
Diffstat (limited to 'contrib/jenkins_amd64.sh')
-rwxr-xr-x | contrib/jenkins_amd64.sh | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/contrib/jenkins_amd64.sh b/contrib/jenkins_amd64.sh index c79e26ab..f26faa86 100755 --- a/contrib/jenkins_amd64.sh +++ b/contrib/jenkins_amd64.sh @@ -3,19 +3,13 @@ . $(dirname "$0")/jenkins_common.sh -ENABLE_SANITIZE="--enable-sanitize" - -if [ "x$label" = "xFreeBSD_amd64" ]; then - ENABLE_SANITIZE="" -fi - src_dir="$PWD" build() { build_dir="$1" prep_build "$src_dir" "$build_dir" - "$src_dir"/configure --disable-silent-rules --enable-static $ENABLE_SANITIZE --enable-werror \ + "$src_dir"/configure --disable-silent-rules --enable-static --enable-sanitize --enable-werror \ --enable-external-tests run_make @@ -29,7 +23,7 @@ build . # do distcheck only once, which is fine from built source tree, since distcheck # is well separated from the source tree state. DISTCHECK_CONFIGURE_FLAGS=--enable-external-tests \ - $MAKE distcheck \ + $MAKE $PARALLEL_MAKE distcheck \ || cat-testlogs.sh $MAKE maintainer-clean |