diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-11-19 09:11:18 -0500 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-11-22 11:47:36 -0500 |
| commit | 89bf196c88e550fd066d6d44aa05ef88cd53b487 (patch) | |
| tree | b5819d2c3ad2181445854d041d611afe0b135b6a /.travis | |
| parent | 384967f311b4c6b1d6c797f7821d25feb26bafbf (diff) | |
travis: Run thread sanitizer
Diffstat (limited to '.travis')
| -rwxr-xr-x | .travis/test_04_install.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis/test_04_install.sh b/.travis/test_04_install.sh index 4cf0ba8984..7019c34342 100755 --- a/.travis/test_04_install.sh +++ b/.travis/test_04_install.sh @@ -7,8 +7,9 @@ export LC_ALL=C.UTF-8 travis_retry docker pull "$DOCKER_NAME_TAG" +export TSAN_OPTIONS="suppressions=${TRAVIS_BUILD_DIR}/test/sanitizer_suppressions/tsan" export UBSAN_OPTIONS="suppressions=${TRAVIS_BUILD_DIR}/contrib/sanitizers-ubsan.suppressions:print_stacktrace=1:halt_on_error=1" -env | grep -E '^(CCACHE_|WINEDEBUG|LC_ALL|BOOST_TEST_RANDOM|CONFIG_SHELL|UBSAN_OPTIONS)' | tee /tmp/env +env | grep -E '^(CCACHE_|WINEDEBUG|LC_ALL|BOOST_TEST_RANDOM|CONFIG_SHELL|(TSAN|UBSAN)_OPTIONS)' | tee /tmp/env if [[ $HOST = *-mingw32 ]]; then DOCKER_ADMIN="--cap-add SYS_ADMIN" fi |