From 65243ee8333a99f6461abf417d880a028dc96d91 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Wed, 20 Aug 2014 21:31:38 +0200
Subject: Flush std::cout before closing stdout

---
 src/libmain/shared.cc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/libmain')

diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index 5a740367ca12..6f2f8c5e47cc 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -319,6 +319,7 @@ RunPager::RunPager()
 RunPager::~RunPager()
 {
     if (pid != -1) {
+        std::cout.flush();
         close(STDOUT_FILENO);
         pid.wait(true);
     }
-- 
cgit 1.4.1