From 6fa35a00131040cf7849fabe3af5d28b3542fc79 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Fri, 24 Aug 2007 13:27:02 +0000 Subject: [PATCH] In ghc-inplace, flush stdout after giving debugging output --- compiler/ghc-inplace.c | 1 + 1 file changed, 1 insertion(+) 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; -- 1.7.10.4