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