summaryrefslogtreecommitdiff
path: root/gdb/mi/mi-interp.c
diff options
context:
space:
mode:
authorVladimir Prus <vladimir@codesourcery.com>2009-03-12 19:54:54 +0000
committerVladimir Prus <vladimir@codesourcery.com>2009-03-12 19:54:54 +0000
commitf77a1d8078de2b302571c21dd8b20457475f4e4f (patch)
treef26427d6c40b13a1dcffa56efe3a636cc837e354 /gdb/mi/mi-interp.c
parent852c0e0d0263f85b62090507be8daa135a87a53a (diff)
downloadgdb-f77a1d8078de2b302571c21dd8b20457475f4e4f.tar.gz
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.
Diffstat (limited to 'gdb/mi/mi-interp.c')
-rw-r--r--gdb/mi/mi-interp.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/mi/mi-interp.c b/gdb/mi/mi-interp.c
index 65c1b4f49fa..131698b3489 100644
--- a/gdb/mi/mi-interp.c
+++ b/gdb/mi/mi-interp.c
@@ -362,6 +362,7 @@ mi_on_normal_stop (struct bpstats *bs, int print_frame)
fputs_unfiltered ("*stopped", raw_stdout);
mi_out_put (mi_uiout, raw_stdout);
mi_out_rewind (mi_uiout);
+ mi_print_timing_maybe ();
fputs_unfiltered ("\n", raw_stdout);
gdb_flush (raw_stdout);
}