OLD | NEW |
1 /* Reverse execution and reverse debugging. | 1 /* Reverse execution and reverse debugging. |
2 | 2 |
3 Copyright (C) 2006-2012 Free Software Foundation, Inc. | 3 Copyright (C) 2006-2012 Free Software Foundation, Inc. |
4 | 4 |
5 This file is part of GDB. | 5 This file is part of GDB. |
6 | 6 |
7 This program is free software; you can redistribute it and/or modify | 7 This program is free software; you can redistribute it and/or modify |
8 it under the terms of the GNU General Public License as published by | 8 it under the terms of the GNU General Public License as published by |
9 the Free Software Foundation; either version 3 of the License, or | 9 the Free Software Foundation; either version 3 of the License, or |
10 (at your option) any later version. | 10 (at your option) any later version. |
(...skipping 198 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
209 { | 209 { |
210 xfree (b->opaque_data); | 210 xfree (b->opaque_data); |
211 xfree (b); | 211 xfree (b); |
212 } | 212 } |
213 bookmark_chain = NULL; | 213 bookmark_chain = NULL; |
214 } | 214 } |
215 | 215 |
216 static void | 216 static void |
217 delete_bookmark_command (char *args, int from_tty) | 217 delete_bookmark_command (char *args, int from_tty) |
218 { | 218 { |
219 struct bookmark *b; | |
220 int num; | 219 int num; |
221 struct get_number_or_range_state state; | 220 struct get_number_or_range_state state; |
222 | 221 |
223 if (bookmark_chain == NULL) | 222 if (bookmark_chain == NULL) |
224 { | 223 { |
225 warning (_("No bookmarks.")); | 224 warning (_("No bookmarks.")); |
226 return; | 225 return; |
227 } | 226 } |
228 | 227 |
229 if (args == NULL || args[0] == '\0') | 228 if (args == NULL || args[0] == '\0') |
(...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
395 Argument is a bookmark number or numbers,\n\ | 394 Argument is a bookmark number or numbers,\n\ |
396 or no argument to delete all bookmarks.\n"), | 395 or no argument to delete all bookmarks.\n"), |
397 &deletelist); | 396 &deletelist); |
398 add_com ("goto-bookmark", class_bookmark, goto_bookmark_command, _("\ | 397 add_com ("goto-bookmark", class_bookmark, goto_bookmark_command, _("\ |
399 Go to an earlier-bookmarked point in the program's execution history.\n\ | 398 Go to an earlier-bookmarked point in the program's execution history.\n\ |
400 Argument is the bookmark number of a bookmark saved earlier by using \n\ | 399 Argument is the bookmark number of a bookmark saved earlier by using \n\ |
401 the 'bookmark' command, or the special arguments:\n\ | 400 the 'bookmark' command, or the special arguments:\n\ |
402 start (beginning of recording)\n\ | 401 start (beginning of recording)\n\ |
403 end (end of recording)\n")); | 402 end (end of recording)\n")); |
404 } | 403 } |
OLD | NEW |