aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xcontrib/jenkins.sh8
1 files changed, 7 insertions, 1 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 0c116824..bb6c3cb5 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -4,8 +4,14 @@ set -ex
./contrib/verify_value_string_arrays_are_terminated.py $(find . -name "*.[hc]")
+if [ "x$label" = "xFreeBSD_amd64" ]; then
+ ENABLE_SANITIZE=""
+else
+ ENABLE_SANITIZE="--enable-sanitize"
+fi
+
autoreconf --install --force
-./configure --enable-static --enable-sanitize
+./configure --enable-static $ENABLE_SANITIZE
$MAKE $PARALLEL_MAKE check \
|| cat-testlogs.sh
$MAKE distcheck \