martine/ninja — pull request #784 by nico (2014-06-20 00:02:04+00:00)
Title: do not delete files from the logs that still exist on disk

This is to keep the possibility of maybe having a tool that deletes
old files in the future, or for having a tool which exposes this
information to generators so they can do that.

See https://github.com/martine/ninja/pull/697#issuecomment-37140762
and the discussion on #762.

Idea from @maximuska!