@@ -159,8 +159,6 @@ extern void default_print_float_info (struct gdbarch *gdbarch,
extern void child_terminal_info (struct target_ops *self, const char *, int);
-extern void info_terminal_command (char *, int);
-
extern void child_terminal_ours (struct target_ops *self);
extern void child_terminal_ours_for_output (struct target_ops *self);
@@ -673,7 +673,7 @@ swap_terminal_info (inferior *a, inferior *b)
std::swap (a->terminal_state, b->terminal_state);
}
-void
+static void
info_terminal_command (const char *arg, int from_tty)
{
target_terminal::info (arg, from_tty);