| 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
|
|
|