Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
$ML_HOME/.arch-n-opsys 2>/dev/null;
authorwenzelm
Wed, 21 Apr 1999 19:03:11 +0200
changeset 6464 9a71c0c2ac71
parent 6463 56d24439b4d3
child 6465 4086e4f2edc4
$ML_HOME/.arch-n-opsys 2>/dev/null;
etc/settings file | annotate | diff | comparison | revisions 
--- 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
isabelle