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 | 4333ada327bfce18df7d41eaff019fe560fda084 (patch) | |
tree | 5f0a974ea77ae20f976410e99f2a85ed1348d0c2 /gdb/mi/mi-main.h | |
parent | c5933f6db95fefa46e4e6ad036e04b34de5034c3 (diff) | |
download | gdb-4333ada327bfce18df7d41eaff019fe560fda084.zip gdb-4333ada327bfce18df7d41eaff019fe560fda084.tar.gz gdb-4333ada327bfce18df7d41eaff019fe560fda084.tar.bz2 |
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 977579e..1383177 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 |