Searched refs:exec_file_command (Results 1 – 2 of 2) sorted by relevance
284 exec_file_command (char *args, int from_tty) in exec_file_command() function325 exec_file_command (arg, from_tty); in file_command()734 c = add_cmd ("exec-file", class_files, exec_file_command, in _initialize_exec()
316 exec_file_command (void) in exec_file_command() function