[Commits] Rev 2858: Use three digits after the decimal point for better resolution and comparability of results. in file:///home/hakan/work/monty_program/maria-5.3-local-master/

[Hakan Kuecuekyilmaz]

At file:///home/hakan/work/monty_program/maria-5.3-local-master/

------------------------------------------------------------
revno: 2858
revision-id: hakan at askmonty.org-20101129225818-b2ioq46xs0o6swyv
parent: sanja at askmonty.org-20101129200233-z3wuhfnof1ibrwnc
committer: Hakan Kuecuekyilmaz <hakan at askmonty.org>
branch nick: maria-5.3-local-master
timestamp: Mon 2010-11-29 23:58:18 +0100
message:
  Use three digits after the decimal point for better resolution and comparability of results.
-------------- next part --------------
=== modified file 'sql-bench/compare-results.sh'
--- a/sql-bench/compare-results.sh	2009-05-29 13:40:55 +0000
+++ b/sql-bench/compare-results.sh	2010-11-29 22:58:18 +0000
@@ -512,7 +512,7 @@
     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))
     {