From f00102197027aa0ea2fe357fa2c6acd45f08b949 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Thu, 3 Dec 2015 09:32:50 +0000 Subject: Flush buffer after each output line when diffing. --- tools/dcpdiff.cc | 1 + 1 file changed, 1 insertion(+) (limited to 'tools/dcpdiff.cc') 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 (); } } -- cgit v1.2.3