--- a/Admin/profiling_report Wed Oct 19 16:30:24 2016 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,32 +0,0 @@
-#!/usr/bin/env perl
-#
-# Author: Makarius
-#
-# DESCRIPTION: Simple report generator for Poly/ML profiling output.
-
-use strict;
-
-my %log = ();
-my @output = ();
-
-while (<ARGV>) {
- if (m,^([ 0-9]{10}) (\S+$|GARBAGE COLLECTION.*$),) {
- my $count = $1;
- my $fun = $2;
- $fun =~ s,-?\(\d+\).*$,,g;
- $fun =~ s,/\d+$,,g;
- if ($count =~ m,^\s*(\d)+$,) {
- if (defined($log{$fun})) {
- $log{$fun} += $count;
- } else {
- $log{$fun} = $count;
- }
- }
- }
-}
-
-foreach my $fun (keys %log) {
- push @output, (sprintf "%14u %s\n", $log{$fun}, $fun);
-}
-
-print (sort @output);