diff -r 38c89353b349 -r 2026ef279d1e Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Sun Feb 28 17:40:01 2016 +0100
+++ b/Admin/isatest/isatest-makedist	Sun Feb 28 19:54:18 2016 +0100
@@ -102,10 +102,7 @@
 
 $SSH lxbroy10 "$MAKEALL -x HOL-Proofs $HOME/settings/at64-poly"
 sleep 15
-$SSH lxbroy4 "
-  $MAKEALL -l HOL-Library $HOME/settings/at-poly;
-  $MAKEALL -l HOL-Library $HOME/settings/at-poly-e;
-  $MAKEALL $HOME/settings/at-poly-test"
+$SSH lxbroy4 "$MAKEALL -l HOL-Library $HOME/settings/at-poly"
 sleep 15
 $SSH macbroy2 "
   $MAKEALL $HOME/settings/mac-poly64-M4;
@@ -115,11 +112,9 @@
   $MAKEALL $HOME/settings/mac-poly-M8-skip_proofs;
   $MAKEALL $HOME/settings/mac-poly-M8-quick_and_dirty"
 sleep 15
-$SSH macbroy30 "
-  $MAKEALL $HOME/settings/mac-poly-M2;
-  $MAKEALL $HOME/settings/mac-poly64-M2"
+$SSH macbroy30 "$MAKEALL $HOME/settings/mac-poly-M2"
 sleep 15
-$SSH macbroy31 "$MAKEALL $HOME/settings/mac-poly-M2-alternative"
+$SSH macbroy31 "$MAKEALL $MAKEALL $HOME/settings/mac-poly64-M2"
 
 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1