Searched refs:generate_header (Results 1 – 6 of 6) sorted by relevance
101 def run_bison(basename, generate_header): argument108 if generate_header:127 def get_output_files(basename, generate_header): argument128 optional_header = [basename + '_tab_autogen.h'] if generate_header else []133 def generate_parser(basename, generate_header): argument145 print(','.join(get_output_files(basename, generate_header)))154 bison_result = run_bison(basename, generate_header)
46 generate_header() function85 generate_header
46 def generate_header(out): function69 generate_header(header_stream)
200 def generate_header(gen_file): function281 generate_header(gen_file)
275 generate_header () function370 generate_header | sed \
213 script = "generate_header.py"