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.
go back to fixed atbroy51, fix at-poly-e path settings
authorisatest
Tue, 28 Nov 2006 21:59:45 +0100
changeset 21574 659d4509b96f
parent 21573 8a7a68c0096c
child 21575 89463ae2612d
go back to fixed atbroy51, fix at-poly-e path settings
Admin/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest-makedist	Tue Nov 28 16:19:01 2006 +0100
+++ b/Admin/isatest-makedist	Tue Nov 28 21:59:45 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 at-poly-e"
+$SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-poly-e"
 sleep 5
 $SSH atbroy10 "$MAKEALL $HOME/settings/at-sml-dev"
 sleep 5
isabelle