Move pagination_enabled declaration to a proper place.

Declare it close to other related declarations in utils.h, and remove
local extern declaration hack.

gdb/
2013-06-28  Pedro Alves  <palves@redhat.com>

	* infrun.c (set_observer_mode): Don't declare pagination_enabled
	here.
	* utils.h (pagination_enabled): Declare.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 5bd25df79b05f092caac77865e0fe10097b4e8d4..c2a878ff10e32a64c14ac0811a9380340ca42f58 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,9 @@
+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):

diff --git a/gdb/infrun.c b/gdb/infrun.c
index e95f81f09e9ded0ae8a32a8e74f89d4d3ddb2de0..dc1036d76114f8687fe948716e5ddbd78f4cd98c 100644 (file)
--- 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 9356658a49b74ac9d962756e0b1871907fbfe50c..0f6bb064fc8946c1d0549294b4a10f93cdf93eeb 100644 (file)
--- 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;