Saved configuration in ports, saved where?

[Bill Moran]

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.

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