diff options
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 00e197499..d135691a1 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -225,6 +225,8 @@ int main(int argc, char * * argv) std::cerr.rdbuf()->pubsetbuf(buf, sizeof(buf)); #endif + std::ios::sync_with_stdio(false); + try { try { initAndRun(argc, argv); |