diff options
Diffstat (limited to 'gdb/reverse.c')
| -rw-r--r-- | gdb/reverse.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/reverse.c b/gdb/reverse.c index c8f3811..61f31e5 100644 --- a/gdb/reverse.c +++ b/gdb/reverse.c @@ -307,7 +307,7 @@ bookmark_1 (int bnum) /* Implement "info bookmarks" command. */ static void -bookmarks_info (char *args, int from_tty) +info_bookmarks_command (char *args, int from_tty) { if (!bookmark_chain) printf_filtered (_("No bookmarks.\n")); @@ -371,7 +371,7 @@ Execute backward until just before selected stack frame is called.")); Set a bookmark in the program's execution history.\n\ A bookmark represents a point in the execution history \n\ that can be returned to at a later point in the debug session.")); - add_info ("bookmarks", bookmarks_info, _("\ + add_info ("bookmarks", info_bookmarks_command, _("\ Status of user-settable bookmarks.\n\ Bookmarks are user-settable markers representing a point in the \n\ execution history that can be returned to later in the same debug \n\ |