From: Ian Lynagh <igloo@earth.li>
Date: Fri, 24 Aug 2007 13:27:02 +0000 (+0000)
Subject: In ghc-inplace, flush stdout after giving debugging output
X-Git-Tag: Before_type_family_merge~15
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=6fa35a00131040cf7849fabe3af5d28b3542fc79

In ghc-inplace, flush stdout after giving debugging output
---

diff --git a/compiler/ghc-inplace.c b/compiler/ghc-inplace.c
index 83f6834..2e345bc 100644
--- a/compiler/ghc-inplace.c
+++ b/compiler/ghc-inplace.c
@@ -36,6 +36,7 @@ int main(int argc, char **argv) {
     args[2] = "-fhardwire-lib-paths";
     if ((argc >= 2) && (strcmp(argv[1], "-v") == 0)) {
         printf("Using %s %s %s\n", args[0], args[1], args[2]);
+        fflush(stdout);
     }
     memcpy(args + 3, argv + 1, sizeof(char *) * (argc - 1));
     args[argc+2] = NULL;