/* Set the inferior terminal device name. */ enum mi_cmd_result mi_cmd_inferior_tty_set (char *command, char **argv, int argc) { set_inferior_io_terminal (argv[0]); return MI_CMD_DONE; }
/* Set the inferior terminal device name. */ void mi_cmd_inferior_tty_set (char *command, char **argv, int argc) { set_inferior_io_terminal (argv[0]); }