Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index 366ad2dd382550bc50b19f15102f548ac7f903dd..ac7aeba08d48e06e5059907692052d093544b971 100755 |
--- a/tools/dm_flags.py |
+++ b/tools/dm_flags.py |
@@ -197,6 +197,9 @@ def get_args(bot): |
match.append('~bleed_image') # skia:4367 |
match.append('~ReadPixels') # skia:4368 |
+ if 'ANGLE' in bot and 'Debug' in bot: |
+ match.append('~GLPrograms') # skia:4717 |
+ |
if match: |
args.append('--match') |
args.extend(match) |