On 5/15/07, Jan Engelhardt <jengelh@xxxxxxxxxxxxxxx> wrote:
> [...]
> They are just a menu
Ok, so they don't really affect Makefiles / sources (and thus builds).
In that case I'd suggest that let's please change the names of such
menuconfig options from CONFIG_ to CONFIG_MENU_, otherwise
we really screw the text-based "make oldconfig" folks who think
that they're taking a build-related (and not presentation-related)
decision when confronted with a:
Ethernet (1000 Mbit) (NETDEV_1000) [Y/n] (NEW)