Add timestamps to "maint time" output
authorTom Tromey <tromey@adacore.com>
Thu, 11 Apr 2019 17:26:02 +0000 (11:26 -0600)
committerTom Tromey <tromey@adacore.com>
Thu, 6 Jun 2019 14:53:56 +0000 (08:53 -0600)
commit3847a7bfbf6340372962c07f31187ff87b4f492c
treef6a4ea2e9ef30d4ccd0d913378475b0e5ef2b3fb
parent237df8fe1863bb47fcf71ce125cd962666173aaa
Add timestamps to "maint time" output

Currently "maint time" will print the amount of time a command took.
Sometimes, though, it's useful to have a timestamp as well -- for
example if one is correlating a gdb log with some other log.

This patch adds a timestamp to the start and end of each command when
this setting is in effect.

This also removes a "//" comment and changes scoped_command_stats to
use DISABLE_COPY_AND_ASSIGN; two minor things I noticed while working
on the patch.

Tested on x86-64 Fedora 29.

gdb/ChangeLog
2019-06-06  Tom Tromey  <tromey@adacore.com>

* maint.h (class scoped_command_stats): Use
DISABLE_COPY_AND_ASSIGN.
<print_time>: New method.
* maint.c (scoped_command_stats, ~scoped_command_stats): Call
print_time.
(scoped_command_stats::print_time): New method.

gdb/testsuite/ChangeLog
2019-06-06  Tom Tromey  <tromey@adacore.com>

* gdb.base/maint.exp: Expect command started/finished output.
gdb/ChangeLog
gdb/maint.c
gdb/maint.h
gdb/testsuite/ChangeLog
gdb/testsuite/gdb.base/maint.exp