Blacklist tiles_rt-gpu gm imagefilterscropped on GalaxyS4

tools/dm_flags.py

Index: tools/dm_flags.py
diff --git a/tools/dm_flags.py b/tools/dm_flags.py
index 7715a07f588d1d25f79862561327d66dbc62039d..5bc4bb10ddcc8a8572696ea95d7f6a5b83dc8670 100755
--- a/tools/dm_flags.py
+++ b/tools/dm_flags.py
@@ -127,6 +127,9 @@ def get_args(bot):
     blacklist.extend('pdf skp _ desk_baidu.skp'.split(' '))
     blacklist.extend('pdf skp _ desk_wikipedia.skp'.split(' '))
 
+  if 'GalaxyS4' in bot:
+    blacklist.extend('gpu gm tiles_rt imagefilterscropped'.split(' '))

[mtklein, 2015/05/05 14:28:53]

I think "tiles_rt-gpu gm _ imagefilterscropped" ought to do it.  Or
"tiles_rt-gpu _ _ imagefilterscropped".

It's sink / src / src-options / name.

[borenet, 2015/05/05 14:55:28]

Cool, thanks.

+
   if blacklist:
     args.append('--blacklist')
     args.extend(blacklist)