another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
authorwenzelm
Mon, 16 Sep 2013 11:22:06 +0200
changeset 53648 924579729403
parent 53647 e78ebb290dd6
child 53649 96814d676c49
child 53654 8b9ea4420f81
child 53656 a3c5ff796d84
another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Sep 16 00:40:02 2013 +0200
+++ b/Admin/isatest/isatest-makedist	Mon Sep 16 11:22:06 2013 +0200
@@ -98,13 +98,13 @@
 
 ## spawn test runs
 
+$SSH lxbroy1 "$MAKEALL $HOME/settings/at64-poly"
+sleep 15
 $SSH lxbroy4 "
   $MAKEALL $HOME/settings/at-poly;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15
-$SSH lxbroy3 "
-  $MAKEALL $HOME/settings/at64-poly;
-  $MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
+$SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
 sleep 15