databases/virtusos: remove entire hosting directory
When I tested the fix to virtuoso, the directory was empty, but according
to a report, it isn't always. Change rmdir to rm -rf so the port
builds in all cases. No bump necessasry.
databases/virtusos: remove entire hosting directory Tags None Referenced Files None Subscribers None
Description
Details
Event Timeline |