--- a/Admin/isatest/isatest-makedist Tue Jun 26 11:18:55 2012 +0200
+++ b/Admin/isatest/isatest-makedist Tue Jun 26 15:55:02 2012 +0200
@@ -101,7 +101,7 @@
$SSH macbroy21 "$MAKEALL $HOME/settings/at-poly-test"
# give test some time to copy settings and start
sleep 15
-$SSH macbroy28 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
+$SSH macbroy27 "$MAKEALL $HOME/settings/at-poly; $MAKEALL $HOME/settings/at-poly-e"
sleep 15
$SSH macbroy22 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
sleep 15