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/