1.1 --- a/lib/scripts/run-smlnj-0.93	Mon Jul 07 09:05:16 1997 +0200
     1.2 +++ b/lib/scripts/run-smlnj-0.93	Mon Jul 07 09:06:26 1997 +0200
     1.3 @@ -4,7 +4,7 @@
     1.4  #
     1.5  # SML/NJ startup script (for 0.93).
     1.6  #
     1.7 -# Global vars: INFILE OUTFILE MLTEXT TERMINATE,
     1.8 +# Global vars: INFILE OUTFILE MLTEXT TERMINATE NOWRITE,
     1.9  # and from settings
    1.10  
    1.11  
    1.12 @@ -60,6 +60,8 @@
    1.13    RC=$?
    1.14  fi
    1.15  
    1.16 +[ -n "$OUTFILE" -a -n "$NOWRITE" ] && chmod -w "$OUTFILE"
    1.17 +
    1.18  if [ -n "$MOVE" -a -f "$OUTFILE" ]; then
    1.19    rm -f "$INFILE" || fail_out
    1.20    mv "$OUTFILE" "$INFILE" || fail_out