Disable std::cout's stdio sync when pickling.

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 9145f448afde5ae42603dd6c817df097c1595f4e..73a5da46c7c47414b3af78d8534762d051c1736f 100644 (file)
--- a/cli/cli_pickle.cpp
+++ b/cli/cli_pickle.cpp
@@ -238,6 +238,8 @@ command(int argc, char *argv[])
 
     os::setBinaryMode(stdout);
     
+    std::cout.sync_with_stdio(false);
+
     PickleWriter writer(std::cout);
     PickleVisitor visitor(writer, symbolic);