--- a/lib/scripts/run-smlnj-0.93 Mon Jul 07 09:05:16 1997 +0200
+++ b/lib/scripts/run-smlnj-0.93 Mon Jul 07 09:06:26 1997 +0200
@@ -4,7 +4,7 @@
#
# SML/NJ startup script (for 0.93).
#
-# Global vars: INFILE OUTFILE MLTEXT TERMINATE,
+# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
# and from settings
@@ -60,6 +60,8 @@
RC=$?
fi
+[ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
+
if [ -n "$MOVE" -a -f "$OUTFILE" ]; then
rm -f "$INFILE" || fail_out
mv "$OUTFILE" "$INFILE" || fail_out