changeset 6464 | 9a71c0c2ac71 |
parent 6463 | 56d24439b4d3 |
child 7126 | fdb397af4cab |
--- a/etc/settings Wed Apr 21 18:50:35 1999 +0200 +++ b/etc/settings Wed Apr 21 19:03:11 1999 +0200 @@ -15,7 +15,7 @@ ML_SYSTEM=smlnj-110 ML_HOME=/usr/share/smlnj/bin ML_OPTIONS="@SMLdebug=/dev/null" -ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys); echo $HEAP_SUFFIX) +ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX) # MLWorks 2.0 or later #ML_SYSTEM=mlworks