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 poly-4.9.1 as stable and poly-4.2.0 as experimental on at
authorkleing
Tue, 21 Nov 2006 04:30:17 +0100
changeset 21429 7f3bb0d28bdd
parent 21428 f84cf8e9cad8
child 21430 77651b6d9d6c
run poly-4.9.1 as stable and poly-4.2.0 as experimental on at
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Tue Nov 21 00:07:05 2006 +0100
+++ b/Admin/isatest-makedist	Tue Nov 21 04:30:17 2006 +0100
@@ -95,7 +95,7 @@
 $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"
+$SSH atbroy9 "$MAKEALL $HOME/settings/at-poly at-poly-e"
 sleep 5
 $SSH atbroy10 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
isabelle