Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index 524e1b6212327ba5e5b15626eac6f2088851703e..acf7892f48190f469c98a09e334610d0f6234d5e 100755 |
--- a/tools/dm_flags.py |
+++ b/tools/dm_flags.py |
@@ -148,8 +148,9 @@ def get_args(bot): |
match = [] |
if 'Valgrind' in bot: # skia:3021 |
match.append('~Threaded') |
- if 'TSAN' in bot: # skia:3562 |
- match.append('~Math') |
+ if 'TSAN' in bot: |
+ match.append('~Math') # skia:3562 |
+ match.append('~SkSharedMutexMultiThreaded') # skia:3997 |
if 'GalaxyS3' in bot: # skia:1699 |
match.append('~WritePixels') |