[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