Created attachment 153853 [details] Speed up "make clean" Currently "make clean" first visits each of the port's dependencies twice -- first to build their list of dependencies and then to perform the actual removal of WRKDIR of each one. The proposed change will remove the second visit -- passing the list of collected WRKDIRs directly to rm(1) (by way of xargs, just in case the list might become too long some day).
> Feedback Timeout This resolution is only applicable, when the SUBMITTER fails to respond in time? If portmgr is still too busy, this can keep on waiting...
This is an infrastructure PR, with a patch. Said patch does not apply, but it's beyond the point. It needs to be tested, with an exp-run, which is something that the submitter has to ask for. If you still want this, update the patch so it can be tested, and ask for an exp-run.