projects / platform / upstream / ninja.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 30dbcb6 92b74c3)
Merge pull request #944 from nico/flags
authorNico Weber <nicolasweber@gmx.de>
Wed, 25 Mar 2015 03:53:06 +0000 (20:53 -0700)
committerNico Weber <nicolasweber@gmx.de>
Wed, 25 Mar 2015 03:53:06 +0000 (20:53 -0700)
Add an opt-in flag to make duplicate edges an error (`-w dupbuild=err`).


Trivial merge
Domain: System / Base;