Regenerate gdbarch.h

The previous commit included a stale gdbarch.h from an earlier version
of that patch by mistake.

gdb/ChangeLog:
2018-08-31  Pedro Alves  <palves@redhat.com>

	* gdbarch.h: Regenerate.
This commit is contained in:
Pedro Alves 2018-08-31 18:55:59 +01:00
parent 7ea65f08fa
commit 0c8885885a
2 changed files with 6 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2018-08-31 Pedro Alves <palves@redhat.com>
* gdbarch.h: Regenerate.
2018-08-31 Pedro Alves <palves@redhat.com>
* gdbarch.sh (have_nonsteppable_watchpoint): Add comment.

View File

@ -818,7 +818,8 @@ extern void set_gdbarch_adjust_dwarf2_line (struct gdbarch *gdbarch, gdbarch_adj
extern int gdbarch_cannot_step_breakpoint (struct gdbarch *gdbarch);
extern void set_gdbarch_cannot_step_breakpoint (struct gdbarch *gdbarch, int cannot_step_breakpoint);
/* See comment in target.h about continue, steppable and non-steppable watchpoints. */
/* See comment in target.h about continuable, steppable and
non-steppable watchpoints. */
extern int gdbarch_have_nonsteppable_watchpoint (struct gdbarch *gdbarch);
extern void set_gdbarch_have_nonsteppable_watchpoint (struct gdbarch *gdbarch, int have_nonsteppable_watchpoint);