+void
+mi_cmd_inferior_tty_set (const char *command, char **argv, int argc)
+{
+ set_inferior_io_terminal (argv[0]);
+}
+
+/* Print the inferior terminal device name. */
+
+void
+mi_cmd_inferior_tty_show (const char *command, char **argv, int argc)
+{
+ const char *inferior_io_terminal = get_inferior_io_terminal ();
+
+ if ( !mi_valid_noargs ("-inferior-tty-show", argc, argv))
+ error (_("-inferior-tty-show: Usage: No args"));
+
+ if (inferior_io_terminal)
+ current_uiout->field_string ("inferior_tty_terminal", inferior_io_terminal);