On 9/10/20 6:54 PM, Bhaskar Chowdhury wrote: > This patch extends the help section by adding an explicit example of use. > > Signed-off-by: Bhaskar Chowdhury <unixbhaskar@xxxxxxxxx> > --- Difference between versions goes here. > scripts/config | 17 +++++++++++++++++ > 1 file changed, 17 insertions(+) > > diff --git a/scripts/config b/scripts/config > index eee5b7f3a092..d905dccabb94 100755 > --- a/scripts/config > +++ b/scripts/config > @@ -45,6 +45,23 @@ make time. > By default, $myname will upper-case the given symbol. Use --keep-case to keep > the case of all following symbols unchanged. > > +The concrete example, say, you want to change any particular config,like config, like > +GCOV for profiling, you can simply use this command command. > + > +To enable: > + > +#scripts/config --enable GCOV_KERNEL && grep GCOV .config > + > + and the output will be like this: > + > + CONFIG_GCOV_KERNEL=y > + > +To disable: > + > +#scripts/config --disable GCOV_KERNEL && grep GCOV .config > + > +# CONFIG_GCOV_KERNEL is not set > + > $myname uses 'CONFIG_' as the default symbol prefix. Set the environment > variable CONFIG_ to the prefix to use. Eg.: CONFIG_="FOO_" $myname ... > EOL > I don't know why we need this extra help text. -- ~Randy