switch at-sml-dev-e back to full test on macbroy23

--- a/Admin/isatest/isatest-makedist	Tue Jun 02 23:30:45 2009 +0200
+++ b/Admin/isatest/isatest-makedist	Wed Jun 03 07:51:11 2009 +1000
@@ -105,7 +105,7 @@
 #sleep 15
 $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
 sleep 15
-$SSH macbroy23 "$MAKEALL -l HOL $HOME/settings/at-sml-dev-e"
+$SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e"
 sleep 15
 $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
 sleep 15