From b2e979d868d5d5964d58c97ed9580e07f6123217 Mon Sep 17 00:00:00 2001
From: Hakan Kuecuekyilmaz <hakan@askmonty.org>
Date: Fri, 26 Nov 2010 18:36:34 +0100
Subject: Use three digits after the decimal point for better resolution and
 comparability of results.

---
 sql-bench/compare-results.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sql-bench')

diff --git a/sql-bench/compare-results.sh b/sql-bench/compare-results.sh
index fec65497c57..fe3563bd0b9 100644
--- a/sql-bench/compare-results.sh
+++ b/sql-bench/compare-results.sh
@@ -512,7 +512,7 @@ sub print_value
     else
     {
       $first=1 if ($first == 0); # Assume that it took one second instead of 0
-      $tmp= sprintf("%.2f",$value/$first);
+      $tmp= sprintf("%.3f",$value/$first);
     }
     if (defined($flags))
     {
-- 
cgit v1.2.1