Merge pull request #1096 from sgraham/dupe-edge-action
authorNico Weber <nicolasweber@gmx.de>
Fri, 29 Jan 2016 03:07:12 +0000 (22:07 -0500)
committerNico Weber <nicolasweber@gmx.de>
Fri, 29 Jan 2016 03:07:12 +0000 (22:07 -0500)
commit35e950d4c2d97d21ef7adf27cf6d003827e908ed
tree388c35ead599c61b9999aa55d7309661f7064f4a
parent16553f76a68d12e0b48fad12f9a76861c14ffd35
parent56bab441b70e6f09f3faf7936118c309f9ce48cb
Merge pull request #1096 from sgraham/dupe-edge-action

dupe_edge_should_err from bool to enum
src/ninja.cc