/* Header file for GDB CLI command implementation library.
- Copyright (c) 2000, 2006-2012 Free Software Foundation, Inc.
+ Copyright (C) 2000-2014 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
extern struct cmd_list_element *killlist;
-/* Chain containing all defined toggle subcommands. */
-
-extern struct cmd_list_element *togglelist;
-
/* Chain containing all defined stop subcommands. */
extern struct cmd_list_element *stoplist;
extern void quit_command (char *, int);
-extern void source_script (char *, int);
+extern void source_script (const char *, int);
/* Exported to objfiles.c. */