git.iko.soy/Idris-dev
on master help sign in
Idris-dev/benchmarks/run.pl
24 lines 503 B history raw
1#!/usr/bin/env perl
3$bmarks = `cat ALL`;
4@bm = split(/\n/, $bmarks);
6$total = 0;
8foreach $b (@bm) {
9 if ($b =~ /([a-zA-Z0-9]+)\/([a-zA-Z0-9]+)\s+(.*)/) {
10 #print "Running $1 $2\n";
11 chdir $1;
12 $result = `/usr/bin/time ./$2 $3 2> .times`;
13 $time = `cat .times`;
14 chdir "..";
15 #print $time;
16 @timeflds = split(/\s+/, $time);
17 $user = $timeflds[3];
18 print "$1 / $2 $user\n";
19 $total += $user;
20 }
23print "\nTOTAL $total\n";