diff options
Diffstat (limited to 'gdb/top.h')
| -rw-r--r-- | gdb/top.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gdb/top.h b/gdb/top.h index b103040325e..50361dc07ab 100644 --- a/gdb/top.h +++ b/gdb/top.h @@ -72,4 +72,14 @@ extern int history_expansion_p; extern int server_command; extern char *lim_at_start; +extern void show_commands (char *args, int from_tty); + +extern void set_history (char *, int); + +extern void show_history (char *, int); + +extern void set_verbose (char *, int, struct cmd_list_element *); + +extern void do_restore_instream_cleanup (void *stream); + #endif |