Searched refs:header_file (Results 1 – 1 of 1) sorted by relevance
159 const char *header_file = NULL; in main() local243 header_file = optarg; in main()306 if (header_file != NULL) in main()308 if (! nlmlex_file (header_file) in main()