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