Fix ostream flushing.

TBR=bmeurer@chromium.org

Review URL: https://codereview.chromium.org/616293002

git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24349 ce2b1a6d-e550-0410-aec6-3dcde31c8c00

diff --git a/src/ostreams.cc b/src/ostreams.cc
index d619264..416da55 100644 (file)
--- a/src/ostreams.cc
+++ b/src/ostreams.cc
@@ -17,7 +17,10 @@ OFStreamBase::OFStreamBase(FILE* f) : f_(f) {}
 OFStreamBase::~OFStreamBase() {}
 
 
-OFStreamBase::int_type OFStreamBase::sync() { return 0; }
+OFStreamBase::int_type OFStreamBase::sync() {
+  std::fflush(f_);
+  return 0;
+}
 
 
 OFStreamBase::int_type OFStreamBase::overflow(int_type c) {