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/isatest-makedist
changeset 36074 6301046146b6
parent 35930 7084141f2a93
child 36100 a8912920ef4f
equal deleted inserted replaced
36073:54a9f56fae7c 36074:6301046146b6 
   103 $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"
 
   103 $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"
 
   104 sleep 15
 
   104 sleep 15
 
   105 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 
   105 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 
   106 sleep 15
 
   106 sleep 15
 
   107 $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 
   107 $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 
       
   108 sleep 15
 
       
   109 $SSH atbroy102 "mount -a; $MAKEALL $HOME/settings/cygwin-poly"
 
   108 #sleep 15
 
   110 #sleep 15
 
   109 #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 
   111 #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 
   110 #sleep 15
 
   112 #sleep 15
 
   111 #$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 
   113 #$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 
   112 
   114
isabelle