Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-makedist
changeset 15807 98bff95f88ba
parent 15806 8941300da5a6
child 15813 741978011e12
equal deleted inserted replaced
15806:8941300da5a6 15807:98bff95f88ba 
   106 
   106 
   107 $SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $HOME/settings/sun-sml-dev"
 
   107 $SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $HOME/settings/sun-sml-dev"
 
   108 # give test some time to copy settings and start
 
   108 # give test some time to copy settings and start
 
   109 sleep 5
 
   109 sleep 5
 
   110 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
 
   110 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
 
   111 # give test some time to copy settings and start
 
   111 # wakeup call for macbroy33
 
       
   112 wakeonlan -i 131.159.47.255 00:30:65:DA:35:E0 > /dev/null
 
   112 sleep 5
 
   113 sleep 5
 
   113 $SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
 
   114 $SSH macbroy33 "$MAKEALL $DISTPREFIX $HOME/settings/mac-poly"
 
   114 
   115 
   115 ## end
 
   116 ## end
isabelle