Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
authorisatest
Fri, 22 Apr 2005 14:15:01 +0200
changeset 15813 741978011e12
parent 15812 c1d36b9c7c3b
child 15814 d65f461c8672
run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Fri Apr 22 04:12:24 2005 +0200
+++ b/Admin/isatest-makedist	Fri Apr 22 14:15:01 2005 +0200
@@ -104,7 +104,7 @@
 
 ## spawn test runs
 
-$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml $HOME/settings/sun-sml-dev"
+$SSH sunbroy2 "$MAKEALL $DISTPREFIX $HOME/settings/sun-poly $HOME/settings/sun-sml-dev"
 # give test some time to copy settings and start
 sleep 5
 $SSH atbroy51 "$MAKEALL $DISTPREFIX $HOME/settings/at-poly $HOME/settings/at-sml"
isabelle