# HG changeset patch
# User wenzelm
# Date 881962534 -3600
# Node ID 3b53dd8e9e2326707eed0d75a0f99df3b1482be2
# Parent  384108c6e2099358c8b85da71861aa211623dec6
tuned;

diff -r 384108c6e209 -r 3b53dd8e9e23 lib/scripts/run-smlnj
--- a/lib/scripts/run-smlnj	Fri Dec 12 18:10:59 1997 +0100
+++ b/lib/scripts/run-smlnj	Fri Dec 12 22:35:34 1997 +0100
@@ -2,7 +2,7 @@
 #
 # $Id$
 #
-# SML/NJ startup script (for 1.09.27 or later).
+# SML/NJ startup script (for 109.27 or later).
 #
 # Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE ISABELLE_TMP,
 # and from settings
@@ -17,21 +17,13 @@
 }
 
 
-## version specific stuff
-
-EXIT=""
-COMMIT=""
-SUFFIX=""
+## basic setup
 
-case "$ML_SYSTEM" in
-  smlnj-1.09*)
-    EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
-    COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"
-    COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\\n"); false);'
-    eval $($ML_HOME/.arch-n-opsys)
-    SUFFIX=".$ARCH-$OPSYS"
-    ;;
-esac
+EXIT="fun exit 0 : unit = OS.Process.exit OS.Process.success | exit _ = OS.Process.exit OS.Process.failure;"
+COMMIT="fun commit () = not (SMLofNJ.exportML\"$OUTFILE\");"
+COMMIT_RO='fun commit () = (TextIO.output (TextIO.stdErr, "Error - Database is not opened for writing.\n"); false);'
+eval $($ML_HOME/.arch-n-opsys)
+SUFFIX=".$ARCH-$OPSYS"
 
 
 ## prepare databases