diff options
Diffstat (limited to 'gdb/tui/tui-hooks.c')
| -rw-r--r-- | gdb/tui/tui-hooks.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c index e1aad9f03b3..e1c4c126c7b 100644 --- a/gdb/tui/tui-hooks.c +++ b/gdb/tui/tui-hooks.c @@ -419,6 +419,10 @@ tui_event_loop (void) static void tui_init_hook (char *argv0) { + /* Don't enable the TUI if a specific interpreter is installed. */ + if (interpreter_p) + return; + /* Install exit handler to leave the screen in a good shape. */ atexit (tui_exit); |