Searched refs:exec_file_command (Results 1 – 1 of 1) sorted by relevance
294 exec_file_command (char *args, int from_tty) in exec_file_command() function335 exec_file_command (arg, from_tty); in file_command()763 c = add_cmd ("exec-file", class_files, exec_file_command, _("\ in _initialize_exec()