Fixed.
> There are still discrepancies between the output produced by different
> forms of make *config. I am also seeing spurious deduction messages
> which may be related or may be a separate problem.
Separate problem.
> Why are those deduction messages appearing in menuconfig? I just did
> make oldconfig, the config should be stable. I did not change anything
> in menuconfig, just saved it.
The deduction messages are happening because the side-effect forcing
logic fires whenever a symbol is set. It has no way of knowing
whether or not the forced symbol will occur later in the config being read.
This
> Why is the output after menuconfig WITH NO CHANGES different from
> the oldconfig that went into menuconfig?
I think it's because of the different timing of menu visits (forcing computation
of choice-menu defaults at different times). I'm going to run some experiments
to see if I can pin this down.
-- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>"The state calls its own violence `law', but that of the individual `crime'" -- Max Stirner - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/