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. -- [email protected] +49 171 3101372 8 years to go ! _______________________________________________ [email protected] mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
