diff options
Diffstat (limited to 'ghc/utils/parallel/avg-RTS.pl')
| -rw-r--r-- | ghc/utils/parallel/avg-RTS.pl | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ghc/utils/parallel/avg-RTS.pl b/ghc/utils/parallel/avg-RTS.pl deleted file mode 100644 index 4f25d55f80..0000000000 --- a/ghc/utils/parallel/avg-RTS.pl +++ /dev/null @@ -1,15 +0,0 @@ -#!/usr/local/bin/perl - -$n=0; -$sum=0; -$last=0; -while (<>) { - next unless /^\d+/; - @c = split; - $sum += $c[0]; - $last = $c[0]; - $n++; -} - -print "Average Runtimes: n=$n; sum=$sum; avg=" . ($sum/$n) . "; max=$last\n"; - |