1.1 --- a/Admin/isatest/isatest-makeall	Mon Oct 26 20:42:08 2009 +0100
     1.2 +++ b/Admin/isatest/isatest-makeall	Mon Oct 26 20:45:24 2009 +0100
     1.3 @@ -63,7 +63,7 @@
     1.4          ;;
     1.5    
     1.6      sunbroy2)
     1.7 -        MFLAGS="-k -j 6"
     1.8 +        MFLAGS="-k -j 2"
     1.9          NICE="nice"
    1.10          ;;
    1.11  

     2.1 --- a/Admin/isatest/isatest-makedist	Mon Oct 26 20:42:08 2009 +0100
     2.2 +++ b/Admin/isatest/isatest-makedist	Mon Oct 26 20:45:24 2009 +0100
     2.3 @@ -91,7 +91,7 @@
     2.4  
     2.5  ## spawn test runs
     2.6  
     2.7 -#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
     2.8 +$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
     2.9  # give test some time to copy settings and start
    2.10  sleep 15
    2.11  $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"

     3.1 --- a/Admin/isatest/settings/sun-poly	Mon Oct 26 20:42:08 2009 +0100
     3.2 +++ b/Admin/isatest/settings/sun-poly	Mon Oct 26 20:45:24 2009 +0100
     3.3 @@ -23,6 +23,6 @@
     3.4  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     3.5  
     3.6  #ISABELLE_USEDIR_OPTIONS="-i true -d dvi -g true -v true"
     3.7 -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 1"
     3.8 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -t true -M 6 -q 2"
     3.9  
    3.10  HOL_USEDIR_OPTIONS="-p 0"