changeset 2396 | 721a9e01457b |
parent 2349 | e9475a7be4ad |
child 2429 | 747177b67670 |
--- 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();"