Admin/isatest/isatest-makedist
changeset 41599 16e290c668ea
parent 40739 9c84b562620d
child 41967 6aa69999da8f
equal deleted inserted replaced
41598:2049f179aa21 41599:16e290c668ea
    98 ## spawn test runs
    98 ## spawn test runs
    99 
    99 
   100 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
   100 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
   101 # give test some time to copy settings and start
   101 # give test some time to copy settings and start
   102 sleep 15
   102 sleep 15
   103 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
   103 $SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
   104 sleep 15
   104 sleep 15
   105 $SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
   105 $SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
   106 sleep 15
   106 sleep 15
   107 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
   107 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
   108 sleep 15
   108 sleep 15
   109 $SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8"
   109 $SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8"
   110 sleep 15
   110 sleep 15