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