| 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);
|
|
|