Admin/isatest/isatest-makedist
changeset 31385 bc1f918ccf68
parent 28931 498b63ba782c
child 31581 907616b9536c
     1.1 --- a/Admin/isatest/isatest-makedist	Tue Jun 02 23:30:45 2009 +0200
     1.2 +++ b/Admin/isatest/isatest-makedist	Wed Jun 03 07:51:11 2009 +1000
     1.3 @@ -105,7 +105,7 @@
     1.4  #sleep 15
     1.5  $SSH macbroy22 "$MAKEALL $HOME/settings/at64-poly-5.1-para"
     1.6  sleep 15
     1.7 -$SSH macbroy23 "$MAKEALL -l HOL $HOME/settings/at-sml-dev-e"
     1.8 +$SSH macbroy23 "$MAKEALL $HOME/settings/at-sml-dev-e"
     1.9  sleep 15
    1.10  $SSH atbroy101 "$MAKEALL $HOME/settings/at64-poly"
    1.11  sleep 15