projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3e5dce7 eee4910)
Merge pull request #534 from nico/invalid_log
authorEvan Martin <martine@danga.com>
Tue, 9 Apr 2013 17:35:24 +0000 (10:35 -0700)
committerEvan Martin <martine@danga.com>
Tue, 9 Apr 2013 17:35:24 +0000 (10:35 -0700)
On invalid depslog header, restart build instead of showing an error.


Trivial merge
Domain: System / Base;