diff options
| author | Carl Hetherington <cth@carlh.net> | 2015-12-03 09:32:50 +0000 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2015-12-03 09:32:50 +0000 |
| commit | f00102197027aa0ea2fe357fa2c6acd45f08b949 (patch) | |
| tree | 6869d806fe82262984fa89d2ab9556f837b601c7 /tools/dcpdiff.cc | |
| parent | 555ced5ed96828bd332623665c0565cd8b3a0df6 (diff) | |
Flush buffer after each output line when diffing.
Diffstat (limited to 'tools/dcpdiff.cc')
| -rw-r--r-- | tools/dcpdiff.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/dcpdiff.cc b/tools/dcpdiff.cc index 1085e289..6fb2317b 100644 --- a/tools/dcpdiff.cc +++ b/tools/dcpdiff.cc @@ -65,6 +65,7 @@ note (NoteType t, string n) { if (t == DCP_ERROR || verbose) { cout << " " << n << "\n"; + cout.flush (); } } |