By caching stat results in buildtool the build time for a build which has to change...

By caching stat results in buildtool the build time for a build which has to change nothing is reduced to about a third (less than ten seconds instead of about 30 seconds on my system). (Obviously a build which changes nothing is not very interesting, but a build which has to change only a few files is very common.)