Saved configuration in ports, saved where?

[Bill Moran]

On Thu, 28 Apr 2005 20:29:45 -0700
Kris Kennaway <kris at obsecurity.org> wrote:

> On Thu, Apr 28, 2005 at 11:25:28PM -0400, Bill Moran wrote:
> > On Thu, 28 Apr 2005 23:09:44 -0400
> > Forrest Aldrich <forrie at forrie.com> wrote:
> > 
> > > ===>  Found saved configuration for php5-extensions-1.0
> > > 
> > > Where is this being saved?   I feel silly, but I can't seem to figure it
> > > out... it's not in the directory, not under distfiles...
> > > 
> > > is there a switch, at least, to force an override.
> > 
> > It's saved in /var/db/ports.
> > 
> > I don't know if there's an override, but you can delete the applicable
> > config from /var/db/ports, or manually adjust it.
> 
> man ports :)

>From the Bugs section:
This man page is too long.

;)

But you're right ... the make config option does the trick.

-- 
Bill Moran
Potential Technologies
http://www.potentialtech.com