Re: Extra info about 109170

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden, address@hidden
> Date: Mon, 23 Jul 2012 19:06:53 -0400
> 
> The problem was that kill-buffer was taking up more than 10% of the time
> of execution, which is simply unjustified.  I only know of 2 ways to fix
> such a problem:
> - speed up kill-buffer.
> - call kill-buffer less often.
> (tho I guess you can also "fix" it by slowing down everything else,
> but that's not very interesting, is it?).
> So unless you mean that the right thing to do was to reduce calls to
> kill-buffer, I don't know what else you might have wanted.

I think, if we want to speed up byte compilation, the right thing is
to speed the compilation itself, not buffer-killing whose relevance to
byte compilation is, well, questionable.