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.
disable sunbroy2 for now;
authorwenzelm
Sat, 17 Oct 2009 22:35:28 +0200
changeset 32979 16ecd05c675c
parent 32978 a473ba9a221d
child 32984 2ef1adff7eee
child 32985 fbc642835ecb
disable sunbroy2 for now;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Sat Oct 17 22:34:19 2009 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Oct 17 22:35:28 2009 +0200
@@ -91,7 +91,7 @@
 
 ## spawn test runs
 
-$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
+#$SSH sunbroy2 "$MAKEALL $HOME/settings/sun-poly"
 # give test some time to copy settings and start
 sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
isabelle