"but *compile time* is not even 10% as important as *run time*."
I think Love that you do not imagine what is the impact of buildtime in our
project. As ReactOS is not getting smaller, increased buildtime is simply
slowing down development pace by a considerable margin. It might be a worthy
tradeoff for a project with production version already, but not in our case.
Reaching over 10 minutes of buildtime requires really top of the line
hardware, not to mention dedicating whole host system to this task. For
average team member, it takes not 10 but even over 30-40 minutes to do a
full build. Time that is often so precious to spare.