Messages in this thread | | | Date | Tue, 14 Jan 2014 17:24:51 +0100 | From | Ingo Molnar <> | Subject | Re: [GIT PULL 00/38] perf/core improvements and fixes |
| |
* Arnaldo Carvalho de Melo <acme@ghostprotocols.net> wrote:
> Em Tue, Jan 14, 2014 at 02:41:01PM +0100, Ingo Molnar escreveu: > > * Arnaldo Carvalho de Melo <acme@infradead.org> wrote: > > > > Andi Kleen (2): > > > perf stat: Fix --delay option in man page > > > perf record: Add --initial-delay option > > > Hm, so we now have two options that do something similar, one named > > --delay, the other --initial-delay? That looks rather inconsistent. > > > Furthermore, it looks silly to rename things --initial-delay just to > > preserve a rarely used option, --no-delay. Instead the better option > > would be to rename --no-delay to --no-buffering, and use --delay and > > use it consistently within the tools. > > Ok, agreed, I'll do that, adding a patch that renames the old option, > then reworking Andi's patches to use --delay consistently.
Ok, thanks - I'll pull the existing lineup meanwhile, it's not a showstopper.
Thanks,
Ingo
| |