tree fbc06ae99576b0413cac30798e8de00312d73199
parent 2da57d18d554a8f3cc27a39d500e26bd4869c120
author Dan Willemsen <dwillemsen@google.com> 1478817339 -0800
committer Dan Willemsen <dwillemsen@google.com> 1486514126 -0800

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

Test: replicate original crash, test with this change
Test: do a build that rebuilds manifest, ensure it reloads
Test: do a build that uses restat, verify that it's faster
Change-Id: Ifeada4afa1717a3691f2e787d1135c0489864629