# HG changeset patch
# User wenzelm
# Date 1256586324 -3600
# Node ID 885e1b7ecb333384ff13b3f3aeda6167553214a0
# Parent  1b550123f1335f707ec45f57e90f6222d9611beb
reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);

diff -r 1b550123f133 -r 885e1b7ecb33 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/isatest-makeall	Mon Oct 26 20:45:24 2009 +0100
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 6"
+        MFLAGS="-k -j 2"
         NICE="nice"
         ;;
 
diff -r 1b550123f133 -r 885e1b7ecb33 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/isatest-makedist	Mon Oct 26 20:45:24 2009 +0100
@@ -91,7 +91,7 @@
 
 ## spawn test runs
 
-#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
+$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
diff -r 1b550123f133 -r 885e1b7ecb33 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Mon Oct 26 20:42:08 2009 +0100
+++ b/Admin/isatest/settings/sun-poly	Mon Oct 26 20:45:24 2009 +0100
@@ -23,6 +23,6 @@
 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 
 #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
-ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 1"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
 
 HOL_USEDIR_OPTIONS="-p 0"