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.
options for more precise performance figures of at-poly, which happens to run on macbroy21;
authorwenzelm
Tue, 04 Aug 2009 13:29:52 +0200
changeset 32320 8175fda90c46
parent 32319 39a6a0800c6c
child 32321 13920dbe4547
options for more precise performance figures of at-poly, which happens to run on macbroy21;
Admin/isatest/isatest-makeall file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions 
--- 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"
--- 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"
isabelle