From ac5bfb7111055c59ecdf09d43084c78285cebffb Mon Sep 17 00:00:00 2001
From: Bryce Adelstein-Lelbach <blelbach@cct.lsu.edu>
Date: Fri, 14 Jan 2011 02:35:58 +0000
Subject: [PATCH] Replacing the use of <iomanip> with
 <boost/detail/iomanip.hpp> across Boost. On Linux, GNU's libstdc++, which is
 the default stdlib for icc and clang, cannot parse the <iomanip> header in
 version 4.5+ (which thankfully neither compiler advises the use of yet), as
 it's original C++98-friendly implementation has been replaced with a gnu++0x
 implementation. <boost/detail/iomanip.hpp> is a portable implementation of
 <iomanip>, providing boost::detail::setfill, boost::detail::setbase,
 boost::detail::setw, boost::detail::setprecision, boost::detail::setiosflags
 and boost::detail::resetiosflags.

[SVN r68140]
---
 performance/command_line.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/performance/command_line.cpp b/performance/command_line.cpp
index bdebc7a1..32738807 100644
--- a/performance/command_line.cpp
+++ b/performance/command_line.cpp
@@ -10,7 +10,7 @@
  */
 
 #include <iostream>
-#include <iomanip>
+#include <boost/detail/iomanip.hpp>
 #include <fstream>
 #include <deque>
 #include <sstream>
@@ -232,12 +232,12 @@ void print_result(std::ostream& os, double time, double best)
    if(highlight)
       os << "<font color=\"#008000\">";
    if(rel <= 1000)
-      os << std::setprecision(3) << rel;
+      os << boost::detail::setprecision(3) << rel;
    else
       os << (int)rel;
    os << "<BR>(";
    if(time <= 1000)
-      os << std::setprecision(3) << time;
+      os << boost::detail::setprecision(3) << time;
    else
       os << (int)time;
    os << suffixes[suffix] << ")";