diff options
author | Vladimir Prus <vladimir@codesourcery.com> | 2009-03-12 19:54:54 +0000 |
---|---|---|
committer | Vladimir Prus <vladimir@codesourcery.com> | 2009-03-12 19:54:54 +0000 |
commit | f77a1d8078de2b302571c21dd8b20457475f4e4f (patch) | |
tree | f26427d6c40b13a1dcffa56efe3a636cc837e354 /gdb/mi/mi-main.h | |
parent | 852c0e0d0263f85b62090507be8daa135a87a53a (diff) | |
download | gdb-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-main.h')
-rw-r--r-- | gdb/mi/mi-main.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 |