diff options
Diffstat (limited to 'lib/tsan/check_cmake.sh')
| -rwxr-xr-x | lib/tsan/check_cmake.sh | 20 |
1 files changed, 13 insertions, 7 deletions
diff --git a/lib/tsan/check_cmake.sh b/lib/tsan/check_cmake.sh index 52c97c339096..7e858efee913 100755 --- a/lib/tsan/check_cmake.sh +++ b/lib/tsan/check_cmake.sh @@ -3,10 +3,16 @@ set -u set -e ROOT="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" -mkdir -p $ROOT/build -cd $ROOT/build -CC=clang CXX=clang++ cmake -DLLVM_ENABLE_WERROR=ON -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_ASSERTIONS=ON $ROOT/../../../.. -make -j64 -make check-sanitizer -j64 -make check-tsan -j64 -make check-asan -j64 +if [ -d "$ROOT/build" ]; then + cd $ROOT/build +else + mkdir -p $ROOT/build + cd $ROOT/build + CC=clang CXX=clang++ cmake -G Ninja -DLLVM_ENABLE_WERROR=ON -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_ASSERTIONS=ON $ROOT/../../../.. +fi +ninja +ninja check-sanitizer +ninja check-tsan +ninja check-asan +ninja check-msan +ninja check-lsan |