# HG changeset patch
# User wenzelm
# Date 1249385392 -7200
# Node ID 8175fda90c46042d6f82f676b5c95671f9a8b495
# Parent  39a6a0800c6c4810c09193fb437d40e1a51f80e0
options for more precise performance figures of at-poly, which happens to run on macbroy21;

diff -r 39a6a0800c6c -r 8175fda90c46 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Tue Aug 04 08:45:03 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Tue Aug 04 13:29:52 2009 +0200
@@ -80,6 +80,11 @@
         NICE=""
         ;;
 
+    macbroy21)
+        MFLAGS="-k"
+        NICE=""
+        ;;
+
     macbroy23)
         MFLAGS="-k -j 2"
         NICE="nice"
diff -r 39a6a0800c6c -r 8175fda90c46 Admin/isatest/settings/at-poly
--- a/Admin/isatest/settings/at-poly	Tue Aug 04 08:45:03 2009 +0200
+++ b/Admin/isatest/settings/at-poly	Tue Aug 04 13:29:52 2009 +0200
@@ -22,6 +22,6 @@
 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps"
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true"
 
 HOL_USEDIR_OPTIONS="-p 2"