1.1 --- a/Admin/isatest/isatest-makedist Wed Feb 17 11:19:48 2010 +0100
1.2 +++ b/Admin/isatest/isatest-makedist Wed Feb 17 11:20:09 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