--- 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