Some ports options is broken

[Kurt Jaeger]

Hi!

> 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 opsec.eu            +49 171 3101372                         8 years to go !