diff -r 3584841f2d2c -r 3d5e7719e878 Admin/profiling_report
--- 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);