Admin/isatest/isatest-makedist
changeset 35162 ea99593b44a5
parent 34210 f040cd999794
child 35245 9271d1fc259a
     1.1 --- a/Admin/isatest/isatest-makedist	Wed Feb 17 09:51:46 2010 +0100
     1.2 +++ b/Admin/isatest/isatest-makedist	Wed Feb 17 11:01:01 2010 +0100
     1.3 @@ -91,11 +91,9 @@
     1.4  
     1.5  ## spawn test runs
     1.6  
     1.7 -$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
     1.8 +$SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
     1.9  # give test some time to copy settings and start
    1.10  sleep 15
    1.11 -$SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
    1.12 -sleep 15
    1.13  $SSH macbroy20 "$MAKEALL $HOME/settings/at-poly-5.1-para-e"
    1.14  sleep 15
    1.15  #$SSH macbroy24 "$MAKEALL -l HOL proofterms $HOME/settings/at-sml-dev-p"
    1.16 @@ -113,6 +111,8 @@
    1.17  $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
    1.18  #sleep 15
    1.19  #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
    1.20 +#sleep 15
    1.21 +#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
    1.22  
    1.23  echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1
    1.24