Merge pull request #999 from colincross/dumbstatus
authorNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 01:13:30 +0000 (17:13 -0800)
committerNico Weber <nicolasweber@gmx.de>
Thu, 12 Nov 2015 01:13:30 +0000 (17:13 -0800)
commita65240d52c451f69d9b2f1252738d67eb99a296c
tree89e3b68fbb950f2c6f001390eb8f433c73119559
parent935788e2c019706a0f04b1b759c6751f1c2ee3c7
parenta4751630cd6d2d753505a6fd222277cf2d99a135
Merge pull request #999 from colincross/dumbstatus

Print status when edge finishes on dumb terminals
src/build.cc