author | wenzelm |
Thu, 23 Jan 1997 18:10:29 +0100 | |
changeset 2548 | b5d19d99a58d |
parent 2547 | 7288532f5372 |
child 2549 | 0c723635b9e6 |
--- 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