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 |