VladPolskiy/MariaDB
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-07-21 23:50:01 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use three digits after the decimal point for better resolution and comparability of results.

Browse Source
This commit is contained in:
Hakan Kuecuekyilmaz
2010-11-29 23:58:18 +01:00
parent 42187df61e
commit b9589e2ed7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sql-bench/compare-results.sh
View File

@ -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))
{