/* The name of the tty (from the `tty' command) that we gave to the inferior
when it was last started. */
-static char *inferior_thisrun_terminal;
+static const char *inferior_thisrun_terminal;
/* Nonzero if our terminal settings are in effect. Zero if the
inferior's settings are in effect. Ignored if !gdb_has_a_terminal
the terminal specified in the NEW_TTY_PREFORK call. */
void
-new_tty_prefork (char *ttyname)
+new_tty_prefork (const char *ttyname)
{
/* Save the name for later, for determining whether we and the child
are sharing a tty. */
_initialize_inflow (void)
{
add_info ("terminal", term_info,
- "Print inferior's saved terminal status.");
+ _("Print inferior's saved terminal status."));
add_com ("kill", class_run, kill_command,
- "Kill execution of program being debugged.");
+ _("Kill execution of program being debugged."));
inferior_ptid = null_ptid;