diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2015-11-12 01:13:30 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2015-11-12 01:13:30 (GMT) |
| commit | a65240d52c451f69d9b2f1252738d67eb99a296c (patch) | |
| tree | 89e3b68fbb950f2c6f001390eb8f433c73119559 /src/ninja.cc | |
| parent | 935788e2c019706a0f04b1b759c6751f1c2ee3c7 (diff) | |
| parent | a4751630cd6d2d753505a6fd222277cf2d99a135 (diff) | |
| download | Ninja-a65240d52c451f69d9b2f1252738d67eb99a296c.zip Ninja-a65240d52c451f69d9b2f1252738d67eb99a296c.tar.gz Ninja-a65240d52c451f69d9b2f1252738d67eb99a296c.tar.bz2 | |
Merge pull request #999 from colincross/dumbstatus
Print status when edge finishes on dumb terminals
Diffstat (limited to 'src/ninja.cc')
0 files changed, 0 insertions, 0 deletions