}
printf_filtered (_("Active record target: %s\n"), t->to_shortname);
- if (t->to_info_record != NULL)
- t->to_info_record (t);
+ t->to_info_record (t);
}
/* The "record save" command. */
target_save_record (recfilename);
}
-/* "record goto" command. Argument is an instruction number,
- as given by "info record".
-
- Rewinds the recording (forward or backward) to the given instruction. */
+/* See record.h. */
void
-cmd_record_goto (char *arg, int from_tty)
+record_goto (const char *arg)
{
ULONGEST insn;
target_goto_record (insn);
}
+/* "record goto" command. Argument is an instruction number,
+ as given by "info record".
+
+ Rewinds the recording (forward or backward) to the given instruction. */
+
+static void
+cmd_record_goto (char *arg, int from_tty)
+{
+ record_goto (arg);
+}
+
/* The "record goto begin" command. */
static void