diff options
author | Dan Willemsen <dwillemsen@google.com> | 2016-11-10 22:35:39 (GMT) |
---|---|---|
committer | Dan Willemsen <dwillemsen@google.com> | 2017-02-08 00:07:14 (GMT) |
commit | abcd5f3d4d2ea3f58698fd3abcb7935ba8332f70 (patch) | |
tree | 4dd18e7916125ff37795f905b5ecd3229ae3d48c /configure.py | |
parent | 2993752dd617ada5218836dd6545fb06690e238b (diff) | |
download | Ninja-abcd5f3d4d2ea3f58698fd3abcb7935ba8332f70.zip Ninja-abcd5f3d4d2ea3f58698fd3abcb7935ba8332f70.tar.gz Ninja-abcd5f3d4d2ea3f58698fd3abcb7935ba8332f70.tar.bz2 |
Support restat when rebuilding manifest
As a fix for #874, we started reloading the entire manifest even if the
manifest was never rebuilt due to a restat rule. But this can be slow,
so call State::Reset instead, which also fixes the original crash.
Fixes #987
Diffstat (limited to 'configure.py')
0 files changed, 0 insertions, 0 deletions