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.
start at-sml earlier and on different machine, remove sun-sml test (takes too long)
authorkleing
Mon, 20 Nov 2006 11:51:10 +0100
changeset 21424 5295ffa18285
parent 21423 6cdd0589aa73
child 21425 c11ab38b78a7
start at-sml earlier and on different machine, remove sun-sml test (takes too long)
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Sun Nov 19 23:48:55 2006 +0100
+++ b/Admin/isatest-makedist	Mon Nov 20 11:51:10 2006 +0100
@@ -92,10 +92,12 @@
 
 ## spawn test runs
 
-$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly $HOME/settings/sun-sml-dev"
+$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 5
-$SSH atbroy9 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-sml-dev"
+$SSH atbroy9 "$MAKEALL $HOME/settings/at-poly"
+sleep 5
+$SSH atbroy10 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly-e"
 sleep 5
isabelle