aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts/ci
diff options
context:
space:
mode:
Diffstat (limited to 'src/scripts/ci')
-rwxr-xr-xsrc/scripts/ci/travis/build.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh
index f2b4f2b67..cf90136b7 100755
--- a/src/scripts/ci/travis/build.sh
+++ b/src/scripts/ci/travis/build.sh
@@ -31,9 +31,9 @@ elif [ "$BUILD_MODE" = "coverage" ]; then
CFG_FLAGS+=(--with-coverage)
elif [ "$BUILD_MODE" = "sanitizer" ]; then
export ASAN_OPTIONS=detect_leaks=0
- CFG_FLAGS+=(--with-sanitizers)
+ CFG_FLAGS+=(--with-sanitizers --disable-modules=locking_allocator)
elif [ "$BUILD_MODE" = "valgrind" ]; then
- CFG_FLAGS+=(--with-valgrind --with-debug-info)
+ CFG_FLAGS+=(--with-valgrind --with-debug-info --disable-modules=locking_allocator)
TEST_PREFIX="valgrind --track-origins=yes --error-exitcode=9 -v"
fi