Lines Matching refs:stdinfile
150 int stdinfile = -1;
182 stdinfile = open(a_inputFile, O_RDONLY);
184 stdinfile = open("/dev/null", O_RDONLY); /* stdin = /dev/null */
187 if (stdinfile < 0) {
196 (void) close(stdinfile);
205 (void) close(stdinfile);
241 (void) dup2(stdinfile, STDIN_FILENO);
265 (void) close(stdinfile);
687 int stdinfile = -1;
749 stdinfile = open(a_inputFile, O_RDONLY);
751 stdinfile = open("/dev/null", O_RDONLY); /* stdin = /dev/null */
754 if (stdinfile < 0) {
763 (void) close(stdinfile);
771 (void) close(stdinfile);
839 (void) dup2(stdinfile, STDIN_FILENO);
906 (void) close(stdinfile);