diff options
author | Nico Weber <nicolasweber@gmx.de> | 2016-04-19 15:22:53 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2016-04-19 15:22:53 (GMT) |
commit | 144a0138e62b636c04d9c08deaf8b1eb603be530 (patch) | |
tree | 38bdbd22f795136c6c61009528908947e341ac1d /src/version.cc | |
parent | 78f548880e549c701bd77760e4b3f3a4ee147641 (diff) | |
parent | e8d855f2622693a4b616cba96084cd7a58cb0611 (diff) | |
download | Ninja-144a0138e62b636c04d9c08deaf8b1eb603be530.zip Ninja-144a0138e62b636c04d9c08deaf8b1eb603be530.tar.gz Ninja-144a0138e62b636c04d9c08deaf8b1eb603be530.tar.bz2 |
Merge pull request #1059 from bradking/avoid-double-scheduling-edge
Avoid double-scheduling build edges in another case
Diffstat (limited to 'src/version.cc')
0 files changed, 0 insertions, 0 deletions