Searched refs:header_name (Results 1 – 1 of 1) sorted by relevance
97 static const char *header_name; variable146 const char *header_name);192 write_out (result, output_name, header_name); in main()205 header_name = arg; in parse_opt()844 const char *header_name) in write_out() argument1009 if (header_name != NULL) in write_out()1016 if (strcmp (header_name, "-") == 0 in write_out()1017 || strcmp (header_name, "/dev/stdout") == 0) in write_out()1021 fp = fopen (header_name, "w"); in write_out()1024 gettext ("cannot open output file `%s'"), header_name); in write_out()