<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> (Though it is unclear to me how much removing redundant includes of standard headers actually helps"accelerating compile times" in practice.)<br></blockquote><div><br></div><div>Exactly.  One should also keep in mind that the slowest compilation is on Windows (isn't it?), and there we use precompiled headers for the largest subdirectories. Any timings of the effect of such cleanup work should be done on Windows.</div><div><br></div><div>--tml</div><div><br></div></div></div></div>