Regenerate gdbarch.h
authorPedro Alves <palves@redhat.com>
Fri, 31 Aug 2018 17:55:59 +0000 (18:55 +0100)
committerPedro Alves <palves@redhat.com>
Fri, 31 Aug 2018 17:56:10 +0000 (18:56 +0100)
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.

gdb/ChangeLog
gdb/gdbarch.h

index 0b8ed31..bd866d9 100644 (file)
@@ -1,5 +1,9 @@
 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.
        * target.h (Hardware watchpoint interfaces): Describe
        continuable/steppable/non-steppable watchpoints.
index 8340881..fc2f1a8 100644 (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);