Searched refs:stdin_filename (Results 1 – 1 of 1) sorted by relevance
56 static const char *stdin_filename = "stdin"; variable196 if (file != stdin_filename) in show_cnt()219 file = stdin_filename; in cnt()