minor tuning;
authorwenzelm
Mon Dec 16 09:56:28 1996 +0100 (1996-12-16)
changeset 2396721a9e01457b
parent 2395 c24a79fe3651
child 2397 01a5e30334b1
minor tuning;
lib/scripts/run-smlnj
     1.1 --- a/lib/scripts/run-smlnj	Mon Dec 16 09:53:30 1996 +0100
     1.2 +++ b/lib/scripts/run-smlnj	Mon Dec 16 09:56:28 1996 +0100
     1.3 @@ -41,9 +41,10 @@
     1.4  elif [ -n "$INFILE" -a ! "$INFILE" -ef "$OUTFILE" ]; then
     1.5    [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out }
     1.6    cp "$INFILE" "$OUTFILE" || fail_out
     1.7 -  chmod +w "$OUTFILE" || fail_out
     1.8  fi
     1.9  
    1.10 +[ -n "$OUTFILE" ] && { chmod +w "$OUTFILE" || fail_out }
    1.11 +
    1.12  MLTEXT="$EXIT $COMMIT $MLTEXT"
    1.13  MLEXIT="commit();"
    1.14