# HG changeset patch
# User wenzelm
# Date 1255643482 -7200
# Node ID e52e6e5c0ca51f41c5c3f80191080bef39505bab
# Parent  aeb1e44fbc199e068bb8641f0f63f3a1e653d57f
sunbroy2: back to single-threaded mode for now -- deadlock in Poly/ML 5.3-SVN-900;

diff -r aeb1e44fbc19 -r e52e6e5c0ca5 Admin/isatest/isatest-makeall
--- a/Admin/isatest/isatest-makeall	Thu Oct 15 23:28:10 2009 +0200
+++ b/Admin/isatest/isatest-makeall	Thu Oct 15 23:51:22 2009 +0200
@@ -63,7 +63,7 @@
         ;;
   
     sunbroy2)
-        MFLAGS="-k -j 2"
+        MFLAGS="-k -j 6"
         NICE="nice"
         ;;
 
diff -r aeb1e44fbc19 -r e52e6e5c0ca5 Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Thu Oct 15 23:28:10 2009 +0200
+++ b/Admin/isatest/settings/sun-poly	Thu Oct 15 23:51:22 2009 +0200
@@ -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 4 -q 2"
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 1"
 
 HOL_USEDIR_OPTIONS="-p 0"