Index: gdb/top.h |
diff --git a/gdb/top.h b/gdb/top.h |
index 6f7423321398e02447a83f812e8e9fee37b66f0a..2f70539630aa1bd8be3f855cd4683abc93a27160 100644 |
--- a/gdb/top.h |
+++ b/gdb/top.h |
@@ -1,7 +1,6 @@ |
/* Top level stuff for GDB, the GNU debugger. |
- Copyright (C) 1986-1994, 1996-2000, 2005-2012 Free Software |
- Foundation, Inc. |
+ Copyright (C) 1986-2013 Free Software Foundation, Inc. |
This file is part of GDB. |
@@ -29,10 +28,10 @@ extern int in_user_command; |
extern int confirm; |
extern char gdb_dirbuf[1024]; |
extern int inhibit_gdbinit; |
-extern int epoch_interface; |
-extern char gdbinit[]; |
+extern const char gdbinit[]; |
extern void print_gdb_version (struct ui_file *); |
+extern void print_gdb_configuration (struct ui_file *); |
extern void read_command_file (FILE *); |
extern void init_history (void); |