even less ambitious isatest for smlnj;
authorwenzelm
Tue Mar 23 17:26:41 2010 +0100 (2010-03-23)
changeset 359307084141f2a93
parent 35929 90f38c8831e2
child 35931 6c9f7dc1ad07
even less ambitious isatest for smlnj;
Admin/isatest/isatest-makedist
     1.1 --- a/Admin/isatest/isatest-makedist	Tue Mar 23 16:18:44 2010 +0100
     1.2 +++ b/Admin/isatest/isatest-makedist	Tue Mar 23 17:26:41 2010 +0100
     1.3 @@ -96,7 +96,7 @@
     1.4  sleep 15
     1.5  $SSH macbroy22 "$MAKEALL $HOME/settings/at-poly"
     1.6  sleep 15
     1.7 -$SSH macbroy23 "$MAKEALL -l HOL HOL-ex $HOME/settings/at-sml-dev-e"
     1.8 +$SSH macbroy23 "$MAKEALL -l HOL HOL-Library $HOME/settings/at-sml-dev-e"
     1.9  sleep 15
    1.10  $SSH macbroy24 "$MAKEALL $HOME/settings/at64-poly"
    1.11  sleep 15