# HG changeset patch
# User wenzelm
# Date 1411982305 -7200
# Node ID ab4b94892c4cc64f5a74971a06f63208b5a286cd
# Parent  890d8286fd4e02b157b59a28384532bd6b99e597
faster machine for slow/bulky polyml-5.3.0 tests (notably HOL-Proofs);

diff -r 890d8286fd4e -r ab4b94892c4c Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Mon Sep 29 09:57:34 2014 +0200
+++ b/Admin/isatest/isatest-makedist	Mon Sep 29 11:18:25 2014 +0200
@@ -104,12 +104,11 @@
 sleep 15
 $SSH lxbroy4 "
   $MAKEALL $HOME/settings/at-poly;
+  $MAKEALL $HOME/settings/at-poly-e;
   $MAKEALL $HOME/settings/at-poly-test"
 sleep 15
 $SSH lxbroy3 "$MAKEALL -l HOL-Library $HOME/settings/at-sml-dev-e"
 sleep 15
-$SSH macbroy23 "$MAKEALL $HOME/settings/at-poly-e"
-sleep 15
 $SSH macbroy2 "
   $MAKEALL $HOME/settings/mac-poly64-M4;
   $MAKEALL $HOME/settings/mac-poly64-M8;