diff options
author | Jan Nieuwenhuizen <janneke@gnu.org> | 2002-08-18 15:22:52 +0000 |
---|---|---|
committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2002-08-18 15:22:52 +0000 |
commit | 658b09d1f17d9839ae58b7411391b907be4de926 (patch) | |
tree | e50db3ee60f699754e63c02d95a7153afd62aa10 /lily/input.cc | |
parent | 1a7d90c5d5d1136264b76c38710a531b6780b4d6 (diff) |
* lily/input.cc (message):
* flower/warn.cc (message): Flush output.
Diffstat (limited to 'lily/input.cc')
-rw-r--r-- | lily/input.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lily/input.cc b/lily/input.cc index 381907d635..e41b16dbf6 100644 --- a/lily/input.cc +++ b/lily/input.cc @@ -79,6 +79,7 @@ Input::message (String message_string) const str += source_file_->error_string (defined_str0_); } fprintf (stderr, "%s\n", str.to_str0 ()); + fflush (stderr); } void |