From 8dd6fefa4c3e9b9283da63b5594126862abeee1b Mon Sep 17 00:00:00 2001 From: Fabian Fichter Date: Thu, 1 Aug 2019 23:59:54 +0200 Subject: [PATCH] Re-enable thread-sanitizing for travis --- .travis.yml | 8 ++++---- 1 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.travis.yml b/.travis.yml index db1385c..c652385 100644 --- a/.travis.yml +++ b/.travis.yml @@ -69,11 +69,11 @@ script: # Valgrind # - export CXXFLAGS="-O1 -fno-inline" - - if [ -x "$(command -v valgrind )" ]; then make clean && make -j2 ARCH=x86-64 debug=yes optimize=no build > /dev/null && travis_wait ../tests/instrumented.sh --valgrind; fi - - if [ -x "$(command -v valgrind )" ]; then travis_wait ../tests/instrumented.sh --valgrind-thread; fi + - if [ -x "$(command -v valgrind )" ]; then make clean && make -j2 ARCH=x86-64 debug=yes optimize=no build > /dev/null && ../tests/instrumented.sh --valgrind; fi + - if [ -x "$(command -v valgrind )" ]; then ../tests/instrumented.sh --valgrind-thread; fi # # Sanitizer # # Use g++-8 as a proxy for having sanitizers, might need revision as they become available for more recent versions of clang/gcc - - if [[ "$COMPILER" == "g++-8" ]]; then make clean && make -j2 ARCH=x86-64 sanitize=undefined optimize=no debug=yes build > /dev/null && travis_wait ../tests/instrumented.sh --sanitizer-undefined; fi - #- if [[ "$COMPILER" == "g++-8" ]]; then make clean && make -j2 ARCH=x86-64 sanitize=thread optimize=no debug=yes build > /dev/null && ../tests/instrumented.sh --sanitizer-thread; fi + - if [[ "$COMPILER" == "g++-8" ]]; then make clean && make -j2 ARCH=x86-64 sanitize=undefined optimize=no debug=yes build > /dev/null && ../tests/instrumented.sh --sanitizer-undefined; fi + - if [[ "$COMPILER" == "g++-8" ]]; then make clean && make -j2 ARCH=x86-64 sanitize=thread optimize=no debug=yes build > /dev/null && ../tests/instrumented.sh --sanitizer-thread; fi -- 1.7.0.4