2016-06-13 13:50, Christian Ehrhardt: > I wondered multiple times now when changing a config symbol that some of > them are in the .config file multiple times. > I totally feel like I'm overlooking something, but still it might be worth > to ask. [...] > Is there any reason to do so or is this an issue in make config?
It is an issue in "make config" which has never been considered important. We could remove the first - overridden - occurences. I think it can be fixed in mk/rte.sdkconfig.mk.
