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 | * xcoffread.c (process_linenos): Check if the line in the (diff) | |
download | binutils-gdb-4333ada327bfce18df7d41eaff019fe560fda084.tar.gz binutils-gdb-4333ada327bfce18df7d41eaff019fe560fda084.tar.bz2 binutils-gdb-4333ada327bfce18df7d41eaff019fe560fda084.zip |
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 |