| Index: tools/dm_flags.py | 
| diff --git a/tools/dm_flags.py b/tools/dm_flags.py | 
| index 277bf8ac4262e5b8759772118877e8871f75e4c5..985a62adf573e2cad0110187b64924cd942bb368 100755 | 
| --- a/tools/dm_flags.py | 
| +++ b/tools/dm_flags.py | 
| @@ -19,7 +19,7 @@ def lineno(): | 
|  | 
|  | 
| cov_start = lineno()+1   # We care about coverage starting just past this def. | 
| -def get_dm_args(bot): | 
| +def get_args(bot): | 
| args = [] | 
|  | 
| configs = ['565', '8888', 'gpu', 'nvprmsaa4'] | 
| @@ -94,7 +94,7 @@ def self_test(): | 
| cov = coverage.coverage() | 
| cov.start() | 
| for case in cases: | 
| -    args[case] = get_dm_args(case) | 
| +    args[case] = get_args(case) | 
| cov.stop() | 
|  | 
| this_file = os.path.basename(__file__) | 
| @@ -119,4 +119,4 @@ if __name__ == '__main__': | 
| sys.exit(1) | 
|  | 
| with open(sys.argv[1], 'w') as out: | 
| -    json.dump(get_dm_args(sys.argv[2]), out) | 
| +    json.dump(get_args(sys.argv[2]), out) | 
|  |