diff options
| -rw-r--r-- | gdb/tui/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/tui/tui-hooks.c | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/gdb/tui/ChangeLog b/gdb/tui/ChangeLog index 1217960..2ed06f3 100644 --- a/gdb/tui/ChangeLog +++ b/gdb/tui/ChangeLog @@ -1,3 +1,8 @@ +2002-11-21 Stephane Carrez <stcarrez@nerim.fr> + + * tui-hooks.c (tui_init_hook): Don't enable the TUI if a specific + interpreter is installed. + 2002-11-18 Andrew Cagney <ac131313@redhat.com> * tuiStack.c (tuiShowFrameInfo): Use get_frame_type instead of diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c index e1aad9f..e1c4c12 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); |