From 25655cf91a83aa0f127c33aa328448c2d6db6356 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 18 Feb 2005 05:19:51 +0000
Subject: (main): Do not sync I/O streams with stdio, since I do not use stdin,
 stdout or stderr.

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

(limited to 'main.cc')

diff --git a/main.cc b/main.cc
index 4dd2c9e5..bbfbdfab 100644
--- a/main.cc
+++ b/main.cc
@@ -539,6 +539,8 @@ def vmax(d, val):\n\
 
 int main(int argc, char * argv[], char * envp[])
 {
+  std::ios::sync_with_stdio(false);
+
   try {
     return parse_and_report(argc, argv, envp);
   }
-- 
cgit v1.2.3