Home
last modified time | relevance | path

Searched refs:header_dir (Results 1 – 1 of 1) sorted by relevance

/trusty/user/base/tools/
Dmanifest_compiler.py1163 def write_consts_to_header_file(const_config, header_dir, log): argument
1166 header_file = os.path.join(header_dir, const_config.header)
1245 def process_config_constants(const_config_files, header_dir, log): argument
1262 write_consts_to_header_file(const_config, header_dir, log)
1396 if args.constants and not args.header_dir:
1413 args.header_dir, log)