| Index: tools/valgrind/valgrind.sh
|
| diff --git a/tools/valgrind/valgrind.sh b/tools/valgrind/valgrind.sh
|
| index 52f634a60dd491bef8123621d66654a9975d3961..59b4071941960a2e2e906e07b22afaa69ff78c84 100755
|
| --- a/tools/valgrind/valgrind.sh
|
| +++ b/tools/valgrind/valgrind.sh
|
| @@ -29,13 +29,6 @@ setup_memcheck() {
|
| "--num-callers=30")
|
| }
|
|
|
| -setup_tsan() {
|
| - RUN_COMMAND="valgrind-tsan.sh"
|
| - IGNORE_FILE="$THISDIR/tsan/ignores.txt"
|
| - DEFAULT_TOOL_FLAGS=("--announce-threads" "--pure-happens-before=yes" \
|
| - "--ignore=$IGNORE_FILE")
|
| -}
|
| -
|
| setup_unknown() {
|
| echo "Unknown tool \"$TOOL_NAME\" specified, the result is not guaranteed"
|
| DEFAULT_TOOL_FLAGS=()
|
| @@ -65,7 +58,6 @@ fi
|
|
|
| case $TOOL_NAME in
|
| memcheck*) setup_memcheck "$1";;
|
| - tsan*) setup_tsan;;
|
| *) setup_unknown;;
|
| esac
|
|
|
|
|