Searched refs:read_command_file (Results 1 – 4 of 4) sorted by relevance
38 extern void read_command_file (FILE *);
724 read_command_file (stdin); in captured_main()
643 read_command_file (FILE *stream) in read_command_file() function
1284 read_command_file (stream); in script_from_file()