diff options
Diffstat (limited to 'gdb')
-rw-r--r-- | gdb/ChangeLog | 6 | ||||
-rw-r--r-- | gdb/infrun.c | 2 | ||||
-rw-r--r-- | gdb/utils.h | 2 |
3 files changed, 8 insertions, 2 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 5bd25df..c2a878f 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,11 @@ 2013-06-28 Pedro Alves <palves@redhat.com> + * infrun.c (set_observer_mode): Don't declare pagination_enabled + here. + * utils.h (pagination_enabled): Declare. + +2013-06-28 Pedro Alves <palves@redhat.com> + * infrun.c (non_stop, non_stop_1, set_non_stop, show_non_stop): Move higher up in file. diff --git a/gdb/infrun.c b/gdb/infrun.c index e95f81f..dc1036d 100644 --- a/gdb/infrun.c +++ b/gdb/infrun.c @@ -219,8 +219,6 @@ static void set_observer_mode (char *args, int from_tty, struct cmd_list_element *c) { - extern int pagination_enabled; - if (target_has_execution) { observer_mode_1 = observer_mode; diff --git a/gdb/utils.h b/gdb/utils.h index 9356658..0f6bb06 100644 --- a/gdb/utils.h +++ b/gdb/utils.h @@ -150,6 +150,8 @@ extern void wrap_here (char *); extern void reinitialize_more_filter (void); +extern int pagination_enabled; + /* Global ui_file streams. These are all defined in main.c. */ /* Normal results */ extern struct ui_file *gdb_stdout; |