changeset 2548 | b5d19d99a58d |
parent 2400 | 4b08766bc9d1 |
child 2605 | 1effe7413486 |
--- a/lib/scripts/run-polyml Thu Jan 23 14:37:45 1997 +0100 +++ b/lib/scripts/run-polyml Thu Jan 23 18:10:29 1997 +0100 @@ -44,7 +44,8 @@ elif [ "$INFILE" -ef "$OUTFILE" ]; then DB="$INFILE" elif [ -n "$COPYDB" ]; then - cp -f "$INFILE" "$OUTFILE" || fail_out + [ -f "$OUTFILE" ] && { rm -f "$OUTFILE" || fail_out } + cp "$INFILE" "$OUTFILE" || fail_out chmod +w "$OUTFILE" || fail_out DB="$OUTFILE" else