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
pgpjD7S7tTSwt.pgp
Description: PGP signature
