On Thu, Jul 26, 2012 at 11:39 AM, Doug Barton <do...@freebsd.org> wrote: > On 7/26/2012 7:41 AM, Oliver Fromme wrote: >> >> Jase Thew wrote: >> > On 25/07/2012 23:57, Baptiste Daroussin wrote: >> > > 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? >> > >> > 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. >> >> I agree with Jase. >> >> Actually I'm not sure if PORTS_DBDIR should override make.conf >> or vice versa. I don't know which one should be regarded as >> more specific. > > Traditionally the precedence has been: > > make.conf < OPTIONS < command line > > The reason is that you want to set global options as high up as > possible, and then be able to override things for specific ports, and > specific builds. > > We were promised that this would work with the new OPTIONS, it's > disappointing to here that it isn't.
I don't know anything about the promise, but I do agree about that it's disappoint that make.conf (global options) isn't first. >> But anything specified on the commandline is definitely more >> specific than PORTS_DBDIR and should override anything else. > > Right. > >> One way to do that would be to introduce another pair of >> variables, e.g. OVERRIDE_SET and OVERRIDE_UNSET, so you could >> type: make OVERRIDE_SET=STATIC > > That shouldn't be necessary. The code should DTRT, as it did previously. > > Doug > > -- > > Change is hard. > > > > _______________________________________________ > freebsd-ports@freebsd.org mailing list > http://lists.freebsd.org/mailman/listinfo/freebsd-ports > To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org" -- mezz.free...@gmail.com - m...@freebsd.org FreeBSD GNOME Team http://www.FreeBSD.org/gnome/ - gn...@freebsd.org _______________________________________________ freebsd-ports@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
