From 9c81cf3d1023456f749876c78211136745bddf9b Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Fri, 14 Mar 1997 03:14:53 +0000
Subject: [PATCH] [project @ 1997-03-14 03:14:25 by sof] Flush output stream
---
ghc/runtime/hooks/ErrorHdr.lc | 2 ++
ghc/runtime/hooks/PatErrorHdr.lc | 2 ++
2 files changed, 4 insertions(+)
diff --git a/ghc/runtime/hooks/ErrorHdr.lc b/ghc/runtime/hooks/ErrorHdr.lc
index d71a3a9b2e81..3c04fec8e3eb 100644
--- a/ghc/runtime/hooks/ErrorHdr.lc
+++ b/ghc/runtime/hooks/ErrorHdr.lc
@@ -4,6 +4,8 @@
void
ErrorHdrHook (FILE *where)
{
+ fflush( stdout ); /* Flush out any pending output */
+
fprintf(where, "\nFail: ");
}
\end{code}
diff --git a/ghc/runtime/hooks/PatErrorHdr.lc b/ghc/runtime/hooks/PatErrorHdr.lc
index 5e175a49a81a..2382049f2ded 100644
--- a/ghc/runtime/hooks/PatErrorHdr.lc
+++ b/ghc/runtime/hooks/PatErrorHdr.lc
@@ -4,6 +4,8 @@
void
PatErrorHdrHook (FILE *where)
{
+ fflush( stdout ); /* Flush out any pending output */
+
fprintf(where, "\nFail: ");
}
\end{code}
--
GitLab