| commit | 78033af5b8eb817c04dc5c733f1a1366bebcec34 | [log] [tgz] |
|---|---|---|
| author | dan <[email protected]> | Wed Oct 30 12:30:05 2013 |
| committer | dan <[email protected]> | Wed Oct 30 12:30:05 2013 |
| tree | 145d6679e650879e8d76fb0626a30fa31e748a8d | |
| parent | 7afc8b0c3f374e5b8f60a15dcc9bf9945f81cb78 [diff] |
Have the shell ".timer on" command cause the shell to report wall-clock time for each query (as well as user and system CPU time). FossilOrigin-Name: 5530cdc4857f7410ce6ddf53ae94c75426e19eee