diff options
| -rw-r--r-- | src/libmain/shared.cc | 2 | ||||
| -rw-r--r-- | src/nix-store/main.cc | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 00e197499e36..d135691a1aec 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); diff --git a/src/nix-store/main.cc b/src/nix-store/main.cc index 5a87806d0318..8c2ff2279919 100644 --- a/src/nix-store/main.cc +++ b/src/nix-store/main.cc @@ -632,7 +632,7 @@ static void opDump(Strings opFlags, Strings opArgs) } -/* A source that read restore intput to stdin. */ +/* A source that reads restore input from stdin. */ struct StdinSource : RestoreSource { virtual void operator () (unsigned char * data, unsigned int len) |