Lines Matching refs:do_stdinit
414 * do_stdinit - whether to initialize yyin/yyout to stdin/stdout437 extern int do_stdinit, use_stdout;