Bill Moran wrote:
> In response to Simon Gao <gao@schrodinger.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 ?
Chris