Which ports store/use OPTIONS (/var/db/ports/portname/options)?

[Parv]

in message <20060228154636.3e114177 at it.buh.tecnik93.com>, wrote
Ion-Mihai Tetcu thusly...
>
> On Tue, 28 Feb 2006 02:39:12 -0800 Jeremy Chadwick
> <freebsd at jdc.parodius.com> wrote:
...
> > Personally, I've never liked OPTIONS
...
> > especially if the port author changes some of the OPTIONS names
> > between port revisions
...
> Indeed when OPTIONS change, either in meaning or in number
> (OPTIONS added/removed) currently there's no warning for the user.
> I have implemented something in two of my ports for this and I
> will submit a patch for bsd.port.mk shortly.

Ion-Mihai, i thank you for your effort for the above mentioned patch.

(Hurry up! :)


  - Parv

--