On 25/07/2012 23:57, Baptiste Daroussin wrote: > On Wed, Jul 25, 2012 at 11:24:27PM +0200, Olli Hauer wrote: >> On 2012-07-25 20:18, Scot Hetzel wrote: >>> On Wed, Jul 25, 2012 at 12:09 PM, Oliver Fromme <o...@lurza.secnetix.de> >>> wrote: >> >> The following diff will restore the old behavior so make.conf and command >> params have priority. >> (Place the make.conf part after the OPTIONS_FILE_SET part) >> >> Until now I cannot see why the OPTIONS file should always win. >> > > because the priority goes to global to specific and the most specific is the > options file. > > if most people want the options file to not have the final priority, why not, > can others spread their opinion here? > > regards, > Bapt >
I can't see why it would be of benefit for saved options to override anything passed to make (either env or as an arg), as one of the reasons you're likely to be passing them is to override any saved settings in the first place. Please consider reverting back to the established and I daresay, expected behaviour. Regards, Jase. -- Jase Thew j...@freebsd.org FreeBSD Ports Committer
signature.asc
Description: OpenPGP digital signature