# HG changeset patch
# User wenzelm
# Date 850726588 -3600
# Node ID 721a9e01457b42610f0458780aa4bf38b13816f4
# Parent  c24a79fe36515995dcc83845daf278021d79493c
minor tuning;

diff -r c24a79fe3651 -r 721a9e01457b lib/scripts/run-smlnj
--- a/lib/scripts/run-smlnj	Mon Dec 16 09:53:30 1996 +0100
+++ b/lib/scripts/run-smlnj	Mon Dec 16 09:56:28 1996 +0100
@@ -41,9 +41,10 @@
 elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
   [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
   cp "$INFILE" "$OUTFILE" || fail_out
-  chmod +w "$OUTFILE" || fail_out
 fi
 
+[ -n "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
+
 MLTEXT="$EXIT $COMMIT $MLTEXT"
 MLEXIT="commit();"