diff -r c0fe5e8e4864 -r 484ef66bc3a1 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Wed Dec 28 13:00:51 2011 +0100
+++ b/Admin/isatest/isatest-makedist	Wed Dec 28 13:08:18 2011 +0100
@@ -107,7 +107,11 @@
 sleep 15
 $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15
-$SSH macbroy2 "$MAKEALL $HOME/settings/mac-poly64-M4; $MAKEALL $HOME/settings/mac-poly64-M8; $MAKEALL $HOME/settings/mac-poly-M4; $MAKEALL $HOME/settings/mac-poly-M8"
+$SSH macbroy2 "
+  $MAKEALL $HOME/settings/mac-poly64-M4 -l . full;
+  $MAKEALL $HOME/settings/mac-poly64-M8 -l . full;
+  $MAKEALL $HOME/settings/mac-poly-M4;
+  $MAKEALL $HOME/settings/mac-poly-M8"
 sleep 15
 $SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
 sleep 15