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