Searched refs:reading_from_stdin (Results 1 – 1 of 1) sorted by relevance
540 int reading_from_stdin = 0; in main() local803 reading_from_stdin = 1; in main()846 if (!reading_from_stdin) in main()