From 964b89b751b0e7c567184dff9787f80fafc50fb6 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Sat, 17 Mar 2012 20:56:10 +0000
Subject: [PATCH] Disable std::cout's stdio sync when pickling.

---
 cli/cli_pickle.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cli/cli_pickle.cpp b/cli/cli_pickle.cpp
index 9145f44..73a5da4 100644
--- 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);
 
-- 
2.43.0