From 4333ada327bfce18df7d41eaff019fe560fda084 Mon Sep 17 00:00:00 2001 From: Vladimir Prus Date: Thu, 12 Mar 2009 19:54:54 +0000 Subject: Fix MI timings. * mi/mi-main.c (mi_print_timing_maybe): New. (captured_mi_execute_command): Simplify. Output timings to CLI commands, too. (mi_execute_async_cli_command): Do not print timings. * mi/mi-main.h (mi_print_timing_maybe): Declare. * mi/mi-interp.c (mi_on_normal_stop): Call mi_print_timing_maybe. --- gdb/mi/mi-main.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'gdb/mi/mi-main.h') diff --git a/gdb/mi/mi-main.h b/gdb/mi/mi-main.h index 977579e2529..1383177f27a 100644 --- a/gdb/mi/mi-main.h +++ b/gdb/mi/mi-main.h @@ -30,5 +30,7 @@ extern char *current_token; extern int running_result_record_printed; +void mi_print_timing_maybe (); + #endif -- cgit v1.2.3-65-gdbad