This patch extends the help section by adding an explicit example of use. Signed-off-by: Bhaskar Chowdhury <unixbhaskar@xxxxxxxxx> --- 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 +GCOV for profiling, you can simply use this 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 -- 2.26.2
