Tweak to the ".timer" command in the CLI to help it work better with GCC. (CVS 5398)

FossilOrigin-Name: 1041deb6ae03c52ce1fb8170d11913cc0bbf3a6e
3 files changed