From 0ebe69dc67853e9e2b2b7b22069e766a7cbc057d Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Thu, 24 Mar 2016 16:19:47 +0100
Subject: Re-enable sync_with_stdio

Otherwise writing to std::cerr is not thread-safe (in particular,
lines will be randomly duplicated).
---
 src/libmain/shared.cc | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc
index e883967b71a1..e2648321130c 100644
--- a/src/libmain/shared.cc
+++ b/src/libmain/shared.cc
@@ -117,9 +117,6 @@ void initNix()
     std::cerr.rdbuf()->pubsetbuf(buf, sizeof(buf));
 #endif
 
-    // FIXME: do we need this? It's not thread-safe.
-    std::ios::sync_with_stdio(false);
-
     if (getEnv("IN_SYSTEMD") == "1")
         logType = ltSystemd;
 
-- 
cgit 1.4.1