# HG changeset patch
# User wenzelm
# Date 924714191 -7200
# Node ID 9a71c0c2ac71c2db7b347663792f9c4caab1960e
# Parent  56d24439b4d33e2dd0234d35274f97aaaac93ceb
$ML_HOME/.arch-n-opsys 2>/dev/null;

diff -r 56d24439b4d3 -r 9a71c0c2ac71 etc/settings
--- 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