avoid macbroy21 for now -- hardware problems;
authorwenzelm
Thu Aug 27 11:54:05 2009 +0200 (2009-08-27)
changeset 32418030be5c12d96
parent 32394 e8feef03a93f
child 32419 016134424f71
avoid macbroy21 for now -- hardware problems;
Admin/isatest/isatest-makeall
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makeall	Sat Aug 22 23:22:17 2009 +0200
     1.2 +++ b/Admin/isatest/isatest-makeall	Thu Aug 27 11:54:05 2009 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4          NICE=""
     1.5          ;;
     1.6  
     1.7 -    macbroy21)
     1.8 +    macbroy22)
     1.9          MFLAGS="-k"
    1.10          NICE=""
    1.11          ;;
     2.1 --- a/Admin/isatest/isatest-makedist	Sat Aug 22 23:22:17 2009 +0200
     2.2 +++ b/Admin/isatest/isatest-makedist	Thu Aug 27 11:54:05 2009 +0200
     2.3 @@ -94,13 +94,13 @@
     2.4  $SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
     2.5  # give test some time to copy settings and start
     2.6  sleep 15
     2.7 -$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly"
     2.8 +$SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
     2.9  sleep 15
    2.10  $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
    2.11  sleep 15
    2.12  #$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
    2.13  #sleep 15
    2.14 -$SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
    2.15 +$SSH macbroy21 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
    2.16  sleep 15
    2.17  $SSH macbroy23 -l HOL images "$MAKEALL $HOME/settings/at-sml-dev-e"
    2.18  sleep 15