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.
optional argument for timespan (default 100);
authorwenzelm
Sat, 04 Nov 2006 12:53:35 +0100
changeset 21167 276dd93cfa97
parent 21166 2075d9027004
child 21168 0f869edd6cc1
optional argument for timespan (default 100);
Admin/isatest-stats file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-stats	Sat Nov 04 12:46:40 2006 +0100
+++ b/Admin/isatest-stats	Sat Nov 04 12:53:35 2006 +0100
@@ -30,7 +30,7 @@
 
 for PLATFORM in $PLATFORMS
 do
-  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 100 $SESSIONS
+  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" ${1:-100} $SESSIONS
   cat > "stats/$PLATFORM.html" <<EOF
 <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
 <html>
isabelle