diff options
author | practicalswift <practicalswift@users.noreply.github.com> | 2018-11-06 10:25:00 +0100 |
---|---|---|
committer | practicalswift <practicalswift@users.noreply.github.com> | 2018-11-06 10:25:00 +0100 |
commit | fced6b5086a63d021b3c756c8a5f8df8d31c4bfa (patch) | |
tree | a673ab23653bea59f19c4dac8239e0c73588b345 /.travis/test_04_install.sh | |
parent | 825f779dc715f0f006ce0f196dc834355d2e0a5a (diff) |
Add UBSan options: print_stacktrace + halt_on_error
Diffstat (limited to '.travis/test_04_install.sh')
-rwxr-xr-x | .travis/test_04_install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis/test_04_install.sh b/.travis/test_04_install.sh index 43f2be129e..4cf0ba8984 100755 --- a/.travis/test_04_install.sh +++ b/.travis/test_04_install.sh @@ -7,7 +7,7 @@ export LC_ALL=C.UTF-8 travis_retry docker pull "$DOCKER_NAME_TAG" -export UBSAN_OPTIONS="suppressions=${TRAVIS_BUILD_DIR}/contrib/sanitizers-ubsan.suppressions" +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 if [[ $HOST = *-mingw32 ]]; then DOCKER_ADMIN="--cap-add SYS_ADMIN" |