Index: tools/dm_flags.py |
diff --git a/tools/dm_flags.py b/tools/dm_flags.py |
index c060b2015728625931048fa36314ece725d2ed74..b461af50db7347a2632ffdb20d1b525b74c43335 100755 |
--- a/tools/dm_flags.py |
+++ b/tools/dm_flags.py |
@@ -29,9 +29,11 @@ cov_start = lineno()+1 # We care about coverage starting just past this def. |
def get_args(bot): |
args = [] |
- configs = ['565', '8888', 'gpu', 'upright-matrix-8888', 'upright-matrix-gpu'] |
+ configs = ['565', '8888', 'gpu'] |
- args.extend('--matrix 0 1 1 0'.split(' ')) |
+ if 'Android' not in bot: |
+ configs.extend(('upright-matrix-8888', 'upright-matrix-gpu')) |
+ args.extend('--matrix 0 1 1 0'.split(' ')) |
if 'TegraK1' in bot or 'GTX550Ti' in bot or 'GTX660' in bot or 'GT610' in bot: |
if 'Android' in bot: |