a dumb script like that one Abdelatif demonstrated
will multiple calls to kconfig-tweak can be used to turn on all of the
configuration options that you need.
Cool!
I didn't know I could do this. Now that I know, I think I'll convert
my configs to work this way. It will be much more convenient to have
just one config for "release" builds and then a script to add or
remove debugging.
tools/sethost.sh already does this kind of thing:
https://github.com/apache/incubator-nuttx/blob/master/tools/sethost.sh#L130
sed has been used to do this job in the past, but there are some subtle
difference. kconfig-tweak is the safest bet.
