Lines Matching refs:input_file
98 def run_one(options, args, stem_prefix='', input_file=None):
101 Take the original content from input_file if specified, defaulting
102 to options.input_file if input_file is None.
112 stem_prefix and input_file to call this function again with new args.
114 if input_file is None:
115 input_file = options.input_file
121 shutil.copy(input_file, data_filename)
158 run_one(options, ['get', symbol], stem_prefix=stem, input_file=filename)
161 run_one(options, ['get', symbol], stem_prefix=stem, input_file=filename)
173 dest='input_file', default='include/mbedtls/mbedtls_config.h',