Index: src/gdb/tui/tui-command.c =================================================================== --- src.orig/gdb/tui/tui-command.c 2004-02-16 21:05:09.000000000 +0000 +++ src/gdb/tui/tui-command.c 2005-10-17 14:33:06.000000000 +0100 @@ -70,7 +70,7 @@ tui_dispatch_ctrl_char (unsigned int ch) term = (char *) getenv ("TERM"); for (i = 0; (term && term[i]); i++) term[i] = toupper (term[i]); - if ((strcmp (term, "XTERM") == 0) && key_is_start_sequence (ch)) + if (term && (strcmp (term, "XTERM") == 0) && key_is_start_sequence (ch)) { unsigned int page_ch = 0; unsigned int tmp_char;