Searched refs:input_filename (Results 1 – 1 of 1) sorted by relevance
186 char *input_filename = NULL; in main() local215 input_filename = strdup(argv[optind]); in main()238 init_yyin = fopen(input_filename, "r"); in main()259 input_filename = strdup(argv[optind]); in main()