Lines Matching defs:options
165 def main(import_, options):
166 if options.source_file:
167 with options.source_file:
168 prev_results = json.load(options.source_file)
180 if options.benchmark:
182 if b.__doc__ == options.benchmark:
186 print('Unknown benchmark: {!r}'.format(options.benchmark),
219 if options.dest_file:
220 with options.dest_file:
221 json.dump(new_results, options.dest_file, indent=2)
239 options = parser.parse_args()
241 if not options.builtin:
244 main(import_, options)