1.1 --- a/etc/settings	Wed Apr 21 18:50:35 1999 +0200
     1.2 +++ b/etc/settings	Wed Apr 21 19:03:11 1999 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  ML_SYSTEM=smlnj-110
     1.5  ML_HOME=/usr/share/smlnj/bin
     1.6  ML_OPTIONS="@SMLdebug=/dev/null"
     1.7 -ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys); echo $HEAP_SUFFIX)
     1.8 +ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)
     1.9  
    1.10  # MLWorks 2.0 or later
    1.11  #ML_SYSTEM=mlworks