From 6ca843dd6e3ca4c7bf39249dddd758b1a5d8a6d4 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 8 Aug 2008 02:49:36 -0400
Subject: [PATCH] Don't synchronize stdio with iostreams, since it's
 unnecessary.  This can give us a free speed bonus.

---
 main.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main.cc b/main.cc
index 8be24935..02a06f0c 100644
--- a/main.cc
+++ b/main.cc
@@ -447,6 +447,8 @@ int main(int argc, char * argv[], char * envp[])
   std::auto_ptr<journal_t> journal;
 
   try {
+    std::ios::sync_with_stdio(false);
+
 #if DEBUG_LEVEL < BETA
     ledger::do_cleanup = false;
 #endif