Comment 13 for bug 2005955

Yes, I ended up cleaning up the empty directory.

The rule about not leaving files outside of the workdir is enforced because there is no warranty any directory outside of to be writable. But it should not be a problem in this case.

I have finally updated the FreeBSD port, this is the relevant commit:

https://cgit.freebsd.org/ports/commit/?id=e65d3de319a7f795e28cfc4f9dcef6e1a5ec396b

So, from my point of view, this issue can be closed.

I raised it to understand if the exclusion of the files I asked about was intentional, which it turned out to be the case, so I adapted the port.

Thanks to you all for the support and feedback.