| Index: tools/dm_flags.py
|
| diff --git a/tools/dm_flags.py b/tools/dm_flags.py
|
| index a7ed8ca7afaf804f93bd63633fea4c74f68c631c..efdf6004f166afb3f7ef89f7cafb81c4ee00af04 100755
|
| --- a/tools/dm_flags.py
|
| +++ b/tools/dm_flags.py
|
| @@ -22,7 +22,7 @@ cov_start = lineno()+1 # We care about coverage starting just past this def.
|
| def get_args(bot):
|
| args = []
|
|
|
| - configs = ['565', '8888', 'gpu']
|
| + configs = ['565', '8888', 'pdf', 'gpu']
|
| # The S4 crashes and the NP produces a long error stream when we run with
|
| # MSAA.
|
| if ('GalaxyS4' not in bot and
|
|
|