This patch extends the help section by adding an explicit example of use. Signed-off-by: Bhaskar Chowdhury <unixbhas...@gmail.com> --- 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 +GKOV for profiling , you can simply use this command + +To enable : + +#scripts/config --enable GKOV_KERNEL && grep GKOV .config + + and the output will be like this : + + CONFIG_GKOV_KERNEL=y + +To disable : + +#scripts/config --disable GKOV_KERNEL && grep GKOV .config + + and the output will be like this : + +# CONFIG_GKOV_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
