Searched refs:headerfilename (Results 1 – 4 of 4) sorted by relevance
277 headerfilename ? headerfilename : "<stdout>"); in filter_tee_header()372 strcmp(fname, headerfilename ? headerfilename : in filter_fix_linedirs()
67 char *infilename = NULL, *outfilename = NULL, *headerfilename = NULL; variable349 output_chain = filter_create_int(NULL, filter_tee_header, headerfilename); in check_options()673 headerfilename); in flexend()1207 headerfilename = arg; in flexinit()
205 { headerfilename = copy_string( nmstr ); }
414 extern char *infilename, *outfilename, *headerfilename;