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 37874 954dc0c580bd
parent 37160 d92638c7c38f
child 40739 9c84b562620d
equal deleted inserted replaced
37873:66d90b2b87bc 37874:954dc0c580bd 
    98 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 
    98 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 
    99 # give test some time to copy settings and start
 
    99 # give test some time to copy settings and start
 
   100 sleep 15
 
   100 sleep 15
 
   101 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
 
   101 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
 
   102 sleep 15
 
   102 sleep 15
 
   103 $SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 
   103 $SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 
   104 sleep 15
 
   104 sleep 15
 
   105 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 
   105 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 
   106 sleep 15
 
   106 sleep 15
 
   107 $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"
 
   107 $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"
 
   108 sleep 15
 
   108 sleep 15
isabelle