From 6c8acb0ed1b7592bb830d952d225c31e42e279d3 Mon Sep 17 00:00:00 2001
From: Ben Noordhuis <info@bnoordhuis.nl>
Date: Wed, 20 Jul 2011 21:00:59 +0200
Subject: [PATCH] task: flush stderr after printing

---
 test/task.h | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/test/task.h b/test/task.h
index 2c0febda..42ca8f22 100644
--- a/test/task.h
+++ b/test/task.h
@@ -42,8 +42,17 @@ typedef enum {
 } stream_type;
 
 /* Log to stderr. */
-#define LOG(...)    fprintf(stderr, "%s", __VA_ARGS__)
-#define LOGF(...)   fprintf(stderr, __VA_ARGS__)
+#define LOG(...)                        \
+  do {                                  \
+    fprintf(stderr, "%s", __VA_ARGS__); \
+    fflush(stderr);                     \
+  } while (0)
+
+#define LOGF(...)                       \
+  do {                                  \
+    fprintf(stderr, __VA_ARGS__);       \
+    fflush(stderr);                     \
+  } while (0)
 
 /* Die with fatal error. */
 #define FATAL(msg)                                        \
@@ -53,6 +62,7 @@ typedef enum {
             __FILE__,                                     \
             __LINE__,                                     \
             msg);                                         \
+    fflush(stderr);                                       \
     abort();                                              \
   } while (0)