From 7bc7b37aabca07a9088621d8785bb413dbd0baa6 Mon Sep 17 00:00:00 2001 From: sof Date: Fri, 14 Aug 1998 13:15:26 +0000 Subject: [PATCH] [project @ 1998-08-14 13:15:26 by sof] ErrorIO_innards: Flush stdio + stderr --- ghc/runtime/main/StgStartup.lhc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ghc/runtime/main/StgStartup.lhc b/ghc/runtime/main/StgStartup.lhc index 6b6b77a..57089df 100644 --- a/ghc/runtime/main/StgStartup.lhc +++ b/ghc/runtime/main/StgStartup.lhc @@ -310,6 +310,8 @@ STGFUN(ErrorIO_innards) /* Assumes that "TopClosure" has been set already */ { FB_ + fflush(stdout); + fflush(stderr); if (ErrorIO_call_count >= 16 /* MAGIC CONSTANT */ ) { /* Don't wrap the calls; we're done with STG land */ fflush(stdout); @@ -395,6 +397,8 @@ ErrorIO_innards(STG_NO_ARGS) /* Assumes that "TopClosure" has been set already */ { FB_ + fflush(stdout); + fflush(stderr); if (ErrorIO_call_count >= 16 /* MAGIC CONSTANT */ ) { /* Don't wrap the calls; we're done with STG land */ fflush(stdout); -- 1.7.10.4