diff options
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 25339e1ce..9394b1739 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1217,7 +1217,7 @@ drop() { fi echo - if [ -e "${STATEDIR}/${statefile}" ]; then + if [ -e "${STATEDIR}/${statefile}" -o -n "${PTXDIST_FORCE}" ] ; then rm -f -- "${STATEDIR}/${statefile}" echo "dropping ${statefile}" echo |