>From b24752b683682d22664ce7919afac6f7f03436ee Mon Sep 17 00:00:00 2001 From: Frank Dittrich Date: Sun, 24 Jun 2012 23:02:32 +0200 Subject: [PATCH] relbench: important fix for duplicate format names in file1 Without this fix, for the first file the last benchmark of each format would be counted (as was the case prior to my changes), whereas for the second file the fastest one would be counted (which was the intended logic for both files. Now, it is always the fastest one that counts. --- run/relbench | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/run/relbench b/run/relbench index 42a10cb..0176833 100755 --- a/run/relbench +++ b/run/relbench @@ -82,8 +82,8 @@ parse(); while () { parse(); next unless (defined($id)); - if(defined($b2r{$id})) { - print STDERR "More than one benchmark for $id in file 2\n"; + if(defined($b1r{$id})) { + print STDERR "More than one benchmark for $id in file 1\n"; if($real > $b1r{$id} || ($real == $b1r{$id} && $virtual > $b1v{$id})) { $b1r{$id} = $real; $b1v{$id} = $virtual; -- 1.7.7.6