Fix MI timings.
authorVladimir Prus <vladimir@codesourcery.com>
Thu, 12 Mar 2009 19:54:54 +0000 (19:54 +0000)
committerVladimir Prus <vladimir@codesourcery.com>
Thu, 12 Mar 2009 19:54:54 +0000 (19:54 +0000)
commit4333ada327bfce18df7d41eaff019fe560fda084
tree5f0a974ea77ae20f976410e99f2a85ed1348d0c2
parentc5933f6db95fefa46e4e6ad036e04b34de5034c3
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/ChangeLog
gdb/mi/mi-interp.c
gdb/mi/mi-main.c
gdb/mi/mi-main.h