diff options
author | Hakan Kuecuekyilmaz <hakan@askmonty.org> | 2010-11-26 18:36:34 +0100 |
---|---|---|
committer | Hakan Kuecuekyilmaz <hakan@askmonty.org> | 2010-11-26 18:36:34 +0100 |
commit | b2e979d868d5d5964d58c97ed9580e07f6123217 (patch) | |
tree | b89a94612c5440655c1735cc96e5c0e4fa74f43a | |
parent | 4829e5a43c9041d0d5e920afee759262fc3af5ad (diff) | |
download | mariadb-git-b2e979d868d5d5964d58c97ed9580e07f6123217.tar.gz |
Use three digits after the decimal point for better resolution and comparability of results.
-rw-r--r-- | sql-bench/compare-results.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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)) { |