diff options
author | Jack Lloyd <[email protected]> | 2016-09-24 06:22:26 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-09-24 06:22:26 -0400 |
commit | 04528dd0e46ce6970ba731861829b578ba5e6bb5 (patch) | |
tree | a087c72791e32039d257a4bc0e718f233bcccc39 /src | |
parent | afe735aee31bfc7916305e285d7aa73df070de52 (diff) |
Disable --track-origins=yes in valgrind Travis config.
Ordinarily a useful option but the manual states that
"It halves Memcheck's speed and increases memory use ..."
which is rough on CI.
Diffstat (limited to 'src')
-rwxr-xr-x | src/scripts/ci/travis/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/ci/travis/build.sh b/src/scripts/ci/travis/build.sh index 16c4b6524..ec84499ce 100755 --- a/src/scripts/ci/travis/build.sh +++ b/src/scripts/ci/travis/build.sh @@ -35,7 +35,7 @@ elif [ "$BUILD_MODE" = "sanitizer" ]; then CFG_FLAGS+=(--with-sanitizers --disable-modules=locking_allocator) elif [ "$BUILD_MODE" = "valgrind" ]; then CFG_FLAGS+=(--with-valgrind --with-debug-info --disable-modules=locking_allocator) - TEST_PREFIX="valgrind --track-origins=yes --error-exitcode=9 -v" + TEST_PREFIX="valgrind --error-exitcode=9 -v" fi if [ "$BUILD_MODE" = "mini-static" ] || [ "$BUILD_MODE" = "mini-shared" ]; then |