diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-02-23T15·40+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2016-02-23T15·40+0100 |
| commit | d5626bf4c14f725136f2c5b6ac8bf818627352f0 (patch) | |
| tree | a8fde81ecedfd2f8ba640e07bf6ea1bb0564c438 /src/libmain | |
| parent | e292144d46e3fbb24ee9ee67f1682b268373921b (diff) | |
Pool<T>: Allow a maximum pool size
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 8f2aa84203..c273022273 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -126,6 +126,7 @@ 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") |