reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
authorwenzelm
Mon Oct 26 20:45:24 2009 +0100 (2009-10-26)
changeset 33214885e1b7ecb33
parent 33213 1b550123f133
child 33215 6fd85372981e
reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
Admin/isatest/isatest-makeall
Admin/isatest/isatest-makedist
Admin/isatest/settings/sun-poly
     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"