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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 0b8ed31..bd866d9 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -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.

diff --git a/gdb/gdbarch.h b/gdb/gdbarch.h
index 8340881..fc2f1a8 100644 (file)
--- a/gdb/gdbarch.h
+++ b/gdb/gdbarch.h
@@ -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);