diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2014-06-19 23:09:50 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2014-06-20 14:24:23 (GMT) |
| commit | e4be3232d947abb419f2d0ce542b9b70f3343434 (patch) | |
| tree | 712890c4e99bee907a74213982becc0cae5f3655 /src/test.cc | |
| parent | e88a8daa10bb27a0617c74f3bc6eec66823f3a99 (diff) | |
| download | Ninja-e4be3232d947abb419f2d0ce542b9b70f3343434.zip Ninja-e4be3232d947abb419f2d0ce542b9b70f3343434.tar.gz Ninja-e4be3232d947abb419f2d0ce542b9b70f3343434.tar.bz2 | |
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!
Diffstat (limited to 'src/test.cc')
0 files changed, 0 insertions, 0 deletions