Searched refs:read_command_file (Results 1 – 5 of 5) sorted by relevance
38 extern void read_command_file (FILE *);
713 read_command_file (stdin); in captured_main()
633 read_command_file (FILE *stream) in read_command_file() function
2080 read_command_file.
1296 read_command_file (stream); in script_from_file()