Searched refs:headerfilename (Results 1 – 5 of 5) sorted by relevance
274 headerfilename ? headerfilename : "<stdout>"); in filter_tee_header()369 headerfilename ? headerfilename : "<stdout>") in filter_fix_linedirs()
67 char *infilename = NULL, *outfilename = NULL, *headerfilename = NULL; variable343 output_chain = filter_create_int(NULL, filter_tee_header, headerfilename); in check_options()710 headerfilename); in flexend()1256 headerfilename = arg; in flexinit()
409 extern char *infilename, *outfilename, *headerfilename;
208 { headerfilename = xstrdup(nmstr); }
951 { headerfilename = xstrdup(nmstr); } in YYPARSE_DECL()