| changeset 26371 | 8e4286e2bffe |
| parent 26210 | cf904c5642e1 |
| child 31310 | b5365a9db718 |
--- a/Admin/isatest/settings/at-sml-dev-e Mon Mar 24 15:59:16 2008 +0100 +++ b/Admin/isatest/settings/at-sml-dev-e Mon Mar 24 15:59:56 2008 +0100 @@ -2,7 +2,7 @@ # Standard ML of New Jersey 110 or later ML_SYSTEM=smlnj -ML_HOME="/usr/proj/smlnj/110.67/bin" +ML_HOME="/home/smlnj/110.67/bin" ML_OPTIONS="@SMLdebug=/dev/null" ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")