Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed regexp grouping;
authorwenzelm
Tue, 05 Jul 2005 16:49:15 +0200
changeset 16693 75f39d66425d
parent 16692 d3416641926f
child 16694 f8ca69762221
fixed regexp grouping;
Admin/profiling_report file | annotate | diff | comparison | revisions 
--- a/Admin/profiling_report	Tue Jul 05 16:16:49 2005 +0200
+++ b/Admin/profiling_report	Tue Jul 05 16:49:15 2005 +0200
@@ -11,7 +11,7 @@
 my @output = ();
 
 while (<ARGV>) {
-    if (m,^( |\d){10} (\S+$|GARBAGE COLLECTION.*$),) {
+    if (m,^([ 0-9]{10}) (\S+$|GARBAGE COLLECTION.*$),) {
 	my $count = $1;
 	my $fun = $2;
 	if ($count =~ m,^\s*(\d)+$,) {
isabelle