Follow-up Comment #1, bug #63852 (project make): Well, we would have to use a separate check: whether we can write to directories that don't have write privileges. It could be done.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63852>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
