# HG changeset patch
# User wenzelm
# Date 1158696032 -7200
# Node ID 0d71cc267e0dd8a8af95e177af09a4f6790581f1
# Parent  948ad402c8a7782566637d982f570c9da6ff6e44
tuned;

diff -r 948ad402c8a7 -r 0d71cc267e0d Admin/isatest-statistics
--- a/Admin/isatest-statistics	Tue Sep 19 21:49:38 2006 +0200
+++ b/Admin/isatest-statistics	Tue Sep 19 22:00:32 2006 +0200
@@ -51,7 +51,7 @@
   $(find "$ISATEST_LOG" -name "isatest-makeall-${PLATFORM}*" -ctime "-${TIMESPAN}") | \
 perl -e '
   while (<>) {
-    if (m/isatest-makeall-\w+-\w+-(\d+)-(\d+)-(\d+)-.*:Finished (\S+) \(.*, (\d+):(\d+):(\d+) cpu time\)/) {
+    if (m/isatest-makeall-.*-(\d+)-(\d+)-(\d+)-.*:Finished (\S+) \(.*, (\d+):(\d+):(\d+) cpu time\)/) {
         my $year = $1;
         my $month = $2;
         my $day = $3;
diff -r 948ad402c8a7 -r 0d71cc267e0d Admin/isatest-stats
--- a/Admin/isatest-stats	Tue Sep 19 21:49:38 2006 +0200
+++ b/Admin/isatest-stats	Tue Sep 19 22:00:32 2006 +0200
@@ -7,20 +7,23 @@
 
 THIS=$(cd "$(dirname "$0")"; pwd -P)
 
-"$THIS/isatest-statistics" stats/at-poly at-poly 100 \
-  HOL \
-  HOL-Algebra \
-  HOL-Auth \
-  HOL-Bali \
-  HOL-Complex \
-  HOL-Extraction \
-  HOL-Hoare \
-  HOL-HoareParallel \
-  HOL-Lambda \
-  HOL-MicroJava \
-  HOL-NumberTheory \
-  HOL-SET-Protocol \
-  HOL-UNITY \
-  HOL-ex \
-  ZF \
-  ZF-Constructible
+for PLATFORM in at-poly at-sml-dev
+do
+  "$THIS/isatest-statistics" "stats/$PLATFORM" "$PLATFORM" 1000 \
+    HOL \
+    HOL-Algebra \
+    HOL-Auth \
+    HOL-Bali \
+    HOL-Complex \
+    HOL-Extraction \
+    HOL-Hoare \
+    HOL-HoareParallel \
+    HOL-Lambda \
+    HOL-MicroJava \
+    HOL-NumberTheory \
+    HOL-SET-Protocol \
+    HOL-UNITY \
+    HOL-ex \
+    ZF \
+    ZF-Constructible
+done