Hi,
>> >> >> echo
>> >> >> if [ -e "${STATEDIR}/${statefile}" ]; then
>> >> >> rm -f -- "${STATEDIR}/${statefile}"
>> >> >> + rm -f -- "${STATEDIR}/${depsfile}"
>> >> >> echo "dropping ${statefile}"
>> >> >> echo
>> >> >> exit
>> >> >
>> > hmm, but this code is only called for explicit "ptxdist drop ...". I agree
>> > that the depsfile should be removed, but this is not the right place.
>>
>> In that case, do you maybe have an idea for a better location?
>
> I mentioned one later: ptxd_make_install_init
I got a little confused about you meant with that remark, because in
the original patch I already removed the deps file in
ptxd_make_install_init. The removal of the deps file during the drop
stage is additional.
Kind regards,
Remy
--
ptxdist mailing list
[email protected]
