Hi, Please be more careful. There are many errors here. (see below) 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 <unixbhaskar@xxxxxxxxx> > --- > 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