# HG changeset patch
# User wenzelm
# Date 1375035021 -7200
# Node ID 96d53ab825cf3c09ad996a043169388a901fbc90
# Parent  ed416f4ac34e1ef30b1536ddf08f76916a83d6ce
avoid machine running batch process for months;

diff -r ed416f4ac34e -r 96d53ab825cf Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sun Jul 28 12:59:59 2013 +0200
+++ b/Admin/isatest/isatest-makedist	Sun Jul 28 20:10:21 2013 +0200
@@ -98,7 +98,7 @@
 
 ## spawn test runs
 
-$SSH lxbroy2 "
+$SSH lxbroy4 "
   $MAKEALL $HOME/settings/at-poly;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15