Lines Matching refs:stdin
1511 yyin = stdin;3653 /* set_input_file - open the given file (if NULL, stdin) for scanning */3669 yyin = stdin;3670 infilename = copy_string( "<stdin>" );