Sharing ports tree, possible?

[Chris Whitehouse]

Bill Moran wrote:
> In response to Simon Gao <gao at 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