isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
authorwenzelm
Mon, 17 Jan 2011 17:27:26 +0100
changeset 41599 16e290c668ea
parent 41598 2049f179aa21
child 41600 46d65140c5de
isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Jan 17 16:57:24 2011 +0100
+++ b/Admin/isatest/isatest-makedist	Mon Jan 17 17:27:26 2011 +0100
@@ -100,9 +100,9 @@
 $SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
 # give test some time to copy settings and start
 sleep 15
-$SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
+$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly"
 sleep 15
-$SSH macbroy28 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15