Delete pagination_enabled extern declaration in tui/tui-regs.c.
authorPedro Alves <palves@redhat.com>
Mon, 1 Jul 2013 10:09:27 +0000 (10:09 +0000)
committerPedro Alves <palves@redhat.com>
Mon, 1 Jul 2013 10:09:27 +0000 (10:09 +0000)
It's declared in utils.h.

gdb/
2013-07-01  Pedro Alves  <palves@redhat.com>

* tui/tui-regs.c (pagination_enabled): Delete declaration.

gdb/ChangeLog
gdb/tui/tui-regs.c

index 72a6258a63d745623d130370c487a18339604adb..8e1c18528a49d7675c5ace60c30263ec9e31503d 100644 (file)
@@ -1,3 +1,7 @@
+2013-07-01  Pedro Alves  <palves@redhat.com>
+
+       * tui/tui-regs.c (pagination_enabled): Delete declaration.
+
 2013-06-30  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
        Code cleanup.
index 975173a326e778b15a3c1b16832cee1de15c2097..bb723402560ee7ffc2c50f20bb6bb00849f67f72 100644 (file)
@@ -661,8 +661,6 @@ _initialize_tui_regs (void)
 ** STATIC LOCAL FUNCTIONS                 **
 ******************************************/
 
-extern int pagination_enabled;
-
 static void
 tui_restore_gdbout (void *ui)
 {