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.
slightly more robust matching of session name;
authorwenzelm
Sat, 10 Jan 2009 15:55:19 +0100
changeset 29426 0a1d32bc5ee5
parent 29425 6baa02c8263e
child 29430 018d5c88c7a8
slightly more robust matching of session name;
Admin/isatest/isatest-statistics file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-statistics	Sat Jan 10 01:28:31 2009 +0100
+++ b/Admin/isatest/isatest-statistics	Sat Jan 10 15:55:19 2009 +0100
@@ -1,6 +1,5 @@
 #!/usr/bin/env bash
 #
-# $Id$
 # Author: Makarius
 #
 # DESCRIPTION: Produce statistics from isatest session logs.
@@ -93,7 +92,7 @@
 
 for SESSION in $SESSIONS
 do
-  fgrep "$SESSION " "$ALL_DATA" > "$SESSION_DATA"
+  grep "^${SESSION} " "$ALL_DATA" > "$SESSION_DATA"
   PLOT="plot [] [0:] \"$SESSION_DATA\" using 2:3 smooth sbezier title \"interpolated cpu time\", \"$SESSION_DATA\" using 2:3 smooth csplines title \"cpu time\""
   if [ "$PARALLEL" = true ]; then
     PLOT="${PLOT}, \"$SESSION_DATA\" using 2:4 smooth sbezier title \"interpolated elapsed time\", \"$SESSION_DATA\" using 2:4 smooth csplines title \"elapsed time\""
isabelle