Admin/isatest/isatest-makedist
changeset 48209 67f13db5d273
parent 48158 68a32e12b999
child 48210 08cb859c53cd
     1.1 --- a/Admin/isatest/isatest-makedist	Sat Jul 07 19:36:50 2012 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Sat Jul 07 19:41:59 2012 +0200
     1.3 @@ -98,14 +98,12 @@
     1.4  
     1.5  ## spawn test runs
     1.6  
     1.7 -$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly-test"
     1.8 +$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-test"
     1.9  # give test some time to copy settings and start
    1.10  sleep 15
    1.11 -$SSH lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
    1.12 +$SSH lxbroy3 "$MAKEALL $HOME/settings/at64-poly; $MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
    1.13  sleep 15
    1.14 -$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
    1.15 -sleep 15
    1.16 -$SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
    1.17 +$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
    1.18  sleep 15
    1.19  $SSH macbroy2 "
    1.20    $MAKEALL -l . full $HOME/settings/mac-poly64-M4;