On 15:52 Thu 10 Sep 2020, Randy Dunlap wrote: >Hi, > >Please be more careful. There are many errors here. (see below) Silly me! thanks Randy :) ~Bhaskar > >On 9/10/20 4:07 AM, Bhaskar Chowdhury wrote: >> This patch extends the help section by adding an explicit example of use. >> >> Signed-off-by: Bhaskar Chowdhury >> --- >> scripts/config | 19 +++++++++++++++++++ >> 1 file changed, 19 insertions(+) >> >> diff --git a/scripts/config b/scripts/config >> index eee5b7f3a092..b75a5aab2453 100755 >> --- a/scripts/config >> +++ b/scripts/config >> @@ -45,6 +45,25 @@ make time. >> By default, $myname will upper-case the given symbol. Use --keep-case to keep >> the case of all following symbols unchanged. >> >> +The concerete example, say, you want to change any particular config ,like > > concrete config, like > >> +GKOV for profiling , you can simply use this command > > GCOV > >> + >> +To enable : > > enable: > >> + >> +#scripts/config --enable GKOV_KERNEL && grep GKOV .config > > GCOV_KERNEL GCOV > >> + >> + and the output will be like this : > > this: > >> + >> + CONFIG_GKOV_KERNEL=y > > GCOV > >> + >> +To disable : > > disable: > >> + >> +#scripts/config --disable GKOV_KERNEL && grep GKOV .config > > GCOV GCOV > >> + >> + and the output will be like this : > > this: > >> + >> +# CONFIG_GKOV_KERNEL is not set > > GCOV > >> + >> $myname uses 'CONFIG_' as the default symbol prefix. Set the environment >> variable CONFIG_ to the prefix to use. Eg.: CONFIG_="FOO_" $myname ... >> EOL >> > > >-- >~Randy >