# HG changeset patch
# User kleing
# Date 1120112627 -7200
# Node ID 27b62ff6f452a45a5798a244a06e5d7e3c5cdbd4
# Parent  edec7bf2186aeb02da90a1c3257862ecbe565353
test sml-dev on mac as well

diff -r edec7bf2186a -r 27b62ff6f452 Admin/isatest-makedist
--- a/Admin/isatest-makedist	Thu Jun 30 08:23:20 2005 +0200
+++ b/Admin/isatest-makedist	Thu Jun 30 08:23:47 2005 +0200
@@ -96,7 +96,7 @@
 sleep 5
 $SSH atbroy51 "$MAKEALL $HOME/settings/at-poly $HOME/settings/at-sml-dev"
 sleep 5
-$SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly"
+$SSH macbroy5 "$MAKEALL $HOME/settings/mac-poly $HOME/settings/mac-sml-dev"
 
 
 echo ------------------- spawned tests successfully --- `date` --- $HOSTNAME >> $DISTLOG 2>&1