Searched refs:stdin_argv (Results 1 – 1 of 1) sorted by relevance
59 static char *stdin_argv[] = variable319 file_list = stdin_argv; in set_file_list()