diff -uprN src0/gdb/top.c src1/gdb/top.c --- src0/gdb/top.c 2009-06-10 13:49:45.000000000 -0400 +++ src1/gdb/top.c 2009-08-06 10:27:09.000000000 -0400 @@ -361,7 +361,6 @@ execute_command (char *p, int from_tty) #ifdef HAVE_SBRK long space_at_cmd_start = 0; #endif - extern int display_time; extern int display_space; if (target_can_async_p ()) @@ -1514,8 +1513,6 @@ Notification of completion for asynchron static void init_main (void) { - struct cmd_list_element *c; - /* initialize the prompt stack to a simple "(gdb) " prompt or to whatever the DEFAULT_PROMPT is. */ the_prompts.top = 0;