Admin/isatest/isatest-makedist
changeset 35245 9271d1fc259a
parent 35162 ea99593b44a5
child 35398 aec00d4ec03d
     1.1 --- a/Admin/isatest/isatest-makedist	Fri Feb 19 22:31:58 2010 +0100
     1.2 +++ b/Admin/isatest/isatest-makedist	Fri Feb 19 22:37:43 2010 +0100
     1.3 @@ -94,12 +94,6 @@
     1.4  $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
     1.5  # give test some time to copy settings and start
     1.6  sleep 15
     1.7 -$SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
     1.8 -sleep 15
     1.9 -#$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
    1.10 -#sleep 15
    1.11 -$SSH macbroy21 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
    1.12 -sleep 15
    1.13  $SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e"
    1.14  sleep 15
    1.15  $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"