ghc/utils/parallel/avg-RTS.pl

   1 #!/usr/local/bin/perl
   2
   3 $n=0;
   4 $sum=0;
   5 $last=0;
   6 while (<>) {
   7     next unless /^\d+/;
   8     @c = split;
   9     $sum += $c[0];
  10     $last = $c[0];
  11     $n++;
  12 }
  13
  14 print "Average Runtimes: n=$n; sum=$sum; avg=" . ($sum/$n) . "; max=$last\n";
  15