diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-03-24T15·19+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-03-29T14·37+0200 |
| commit | 0ebe69dc67853e9e2b2b7b22069e766a7cbc057d (patch) | |
| tree | c91945b8729f66c11d345c16d9a0d9deed96e13f | |
| parent | 0f754280a4c2a8b57a85567dfeb72baf26123fc7 (diff) | |
Re-enable sync_with_stdio
Otherwise writing to std::cerr is not thread-safe (in particular, lines will be randomly duplicated).
| -rw-r--r-- | src/libmain/shared.cc | 3 |
1 files changed, 0 insertions, 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; |