changeset 3503 | 390093b95cb0 |
parent 3055 | 5da4afa207ad |
child 3630 | aee7effe0816 |
--- a/lib/scripts/run-smlnj Mon Jul 07 09:05:16 1997 +0200 +++ b/lib/scripts/run-smlnj Mon Jul 07 09:06:26 1997 +0200 @@ -4,7 +4,7 @@ # # SML/NJ startup script (for 1.06 or later). # -# Global vars: INFILE OUTFILE MLTEXT TERMINATE, +# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE, # and from settings @@ -74,4 +74,6 @@ [ -n "$OUTFILE" -a -n "$SUFFIX" -a -f "$OUTFILE$SUFFIX" ] \ && mv "$OUTFILE$SUFFIX" "$OUTFILE" +[ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE" + exit $RC