[flashrom] [PATCH] CONFIG_DEFAULT setting

Stefan Tauner stefan.tauner at student.tuwien.ac.at
Sat Jun 1 14:21:52 CEST 2013


On Wed, 21 Nov 2012 00:07:40 +0100
Carl-Daniel Hailfinger <c-d.hailfinger.devel.2006 at gmx.net> wrote:

> +# This parameter picks the default setting for CONFIG_ variables of programmers not specified explicitly
> +# on the command line.
> +CONFIG_DEFAULT ?= yes

i dont like "picks" in there. whats wrong with configures, selects,
sets? :)

also, i would rename CONFIG_DEFAULT because it is not specific enough.
e.g. there is also CONFIG_PRINT_WIKI which is not (and should not be)
affected by this setting. i propose CONFIG_PROGRAMMER_DEFAULT_STATE.
yes, that is awfully long, but much clearer. a part of the problem is
that we already have a CONFIG_DEFAULT_PROGRAMMER that we need to keep
recognizably different.

>  # Disable Dediprog SF100 until support is complete and tested.
>  CONFIG_DEDIPROG ?= no
>  [etc]

whats the rationale to exclude those? IMHO it makes sense to enable them
too with CONFIG_DEFAULT.
-- 
Kind regards/Mit freundlichen Grüßen, Stefan Tauner




More information about the flashrom mailing list