Searched refs:filename_stdin (Results 1 – 1 of 1) sorted by relevance
41 static const char *filename_stdin = "STDIN"; variable214 str->s_filename = (char *)filename_stdin; in initialize_post()