Bill Moran wrote:
> In response to Simon Gao <email@example.com>:
>> Is it possible to share ports tree directory? If so, what's the procedure?
> Yes. You generally want to set WRKDIRPREFIX to something like /var/ports
> or /usr/obj to ward off conflicts. Otherwise, just put it on an NFS server
> an NFS mount it.
using mount_nfs -L ?