Some ports options is broken

Kurt Jaeger pi at
Wed Dec 12 08:10:48 UTC 2012


> I have done a fast fix already, your patch is wrong is the way that OPTIONS_SET
> is a end user thing to put in make.conf where OPTIONS_DEFAULT is the one to be
> used inside a port

Ah, thanks for the hint.

> Do you want the PR to remain open because you will add some modification on top
> of my "fast fix" or not?

No, you can close the PR.

pi at            +49 171 3101372                         8 years to go !

More information about the freebsd-ports mailing list