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.
prefer lxbroy[23] as standard test machines;
authorwenzelm
Sat, 07 Jul 2012 19:41:59 +0200
changeset 48209 67f13db5d273
parent 48208 bde354773a56
child 48210 08cb859c53cd
prefer lxbroy[23] as standard test machines;
Admin/isatest/isatest-makedist file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/isatest-makedist	Sat Jul 07 19:36:50 2012 +0200
+++ b/Admin/isatest/isatest-makedist	Sat Jul 07 19:41:59 2012 +0200
@@ -98,14 +98,12 @@
 
 ## spawn test runs
 
-$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly-test"
+$SSH lxbroy2 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH lxbroy3 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy3 "$MAKEALL $HOME/settings/at64-poly; $MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
-$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
-sleep 15
-$SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
+$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
 sleep 15
 $SSH macbroy2 "
   $MAKEALL -l . full $HOME/settings/mac-poly64-M4;
isabelle