Lines Matching refs:set_input_file
3644 set_input_file( *++input_files );3653 /* set_input_file - open the given file (if NULL, stdin) for scanning */3655 void set_input_file( file )
