Searched refs:stdin_argv (Results 1 – 1 of 1) sorted by relevance
1828 static char *stdin_argv[2] = { dash, NULL }; local1845 input.file_list = stdin_argv;