mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-20 15:25:33 +02:00
Code Issues Projects Releases Packages 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:56:27 +01:00
commit 0906d9e97f
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))
{