As it turns out, this is more or less what ninja does: https://github.com/ninja-build/ninja/blob/master/src/disk_interface.cc#L104 https://github.com/ninja-bui

As it turns out, this is more or less what ninja does: https://github.com/ninja-build/ninja/blob/master/src/disk_interface.cc#L104 https://github.com/ninja-build/ninja/blob/master/src/disk_in...