Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index 888a323d2be9210b4ba616ac2d280583c7c8f934..7c901891cac72534c0713cad37942ace51b7d09b 100755 |
--- a/tools/dm_flags.py |
+++ b/tools/dm_flags.py |
@@ -168,7 +168,10 @@ def get_args(bot): |
match = [] |
if 'Valgrind' in bot: # skia:3021 |
match.append('~Threaded') |
- if 'TSAN' in bot: # skia:3562 |
+ |
+ # skia:3562 |
+ if ('TSAN' in bot or |
+ 'Test-Mac10.8-Clang-MacMini4.1-CPU-SSE4-x86_64-Release' in bot): |
match.append('~Math') |
if 'GalaxyS3' in bot: # skia:1699 |