diff options
| author | Matt Corallo <git@bluematt.me> | 2017-10-09 11:19:10 -0400 |
|---|---|---|
| committer | Jesse Cohen <jc@jc.lol> | 2018-05-12 12:44:32 -0400 |
| commit | ecc3c4a019e6db30e208b8554b1a3658dcb9a80a (patch) | |
| tree | f9af673005ded7d0566d285b4617c6909f3dabbf /src/Makefile.test.include | |
| parent | 8b262eb2d80bfa27ae8501078ce47bc1407e9c55 (diff) | |
Do not unlock cs_main in ABC unless we've actually made progress.
Technically, some internal datastructures may be in an inconsistent
state if we do this, though there are no known bugs there. Still,
for future safety, its much better to only unlock cs_main if we've
made progress (not just tried a reorg which may make progress).
Diffstat (limited to 'src/Makefile.test.include')
0 files changed, 0 insertions, 0 deletions