projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 162219a 902f782)
Merge pull request #1095 from sgraham/dupbuild-err
authorNico Weber <nicolasweber@gmx.de>
Wed, 27 Jan 2016 15:17:31 +0000 (10:17 -0500)
committerNico Weber <nicolasweber@gmx.de>
Wed, 27 Jan 2016 15:17:31 +0000 (10:17 -0500)
Make dupbuild=err work in subninja


Trivial merge
Domain: System / Base;