diff options
Diffstat (limited to 'gdb/top.c')
-rw-r--r-- | gdb/top.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gdb/top.c b/gdb/top.c index 9747d492912..6bd7648e08c 100644 --- a/gdb/top.c +++ b/gdb/top.c @@ -801,6 +801,17 @@ gdb_init (argv0) uiout = cli_out_new (gdb_stdout); #endif +#ifdef UI_OUT + /* All the interpreters should have had a look at things by now. + Initialize the selected interpreter. */ + if (interpreter_p && !init_ui_hook) + { + fprintf_unfiltered (gdb_stderr, "Interpreter `%s' unrecognized.\n", + interpreter_p); + exit (1); + } +#endif + if (init_ui_hook) init_ui_hook (argv0); } |