Searched refs:stdin_seen (Results 1 – 1 of 1) sorted by relevance
76 int stdin_seen = 0; // already read stdin in main() local224 if (stdin_seen) { in main()228 stdin_seen++; in main()