hmm, on Mon, Aug 17, 2009 at 03:38:21PM +0100, Stuart Henderson said that > On 2009/08/17 02:29, frantisek holop wrote: > > hi there, > > > > now that all ports are being built in /usr/ports/obj, > > is SEPARATE_BUILD still relevant? > > yes, "make clean=build" can be much quicker than "make clean; make patch". > > > is it possible to redirect this directory (to a bigger > > disk perhaps) using /etc/mk.conf? > > exactly the same as before, set WRKOBJDIR. and if you prefer to put > work directories through the ports tree (e.g. so you can cd to them > more easily) just set WRKOBJDIR=
great info, this should definitely be in the man page imho... -f -- if there's one thing i can't stand, it's intolerance.
