> From: Vladimir Prus <vladimir@codesourcery.com> > Date: Sat, 26 Apr 2008 17:40:58 +0400 > Cc: gdb-patches@sourceware.org > > it's not clear to me that saying that such statistics is not output > after run command makes sense. I think it does. "maint time" is for GDB hackers, and to a hacker such a detail might be important.