[PATCH] scripts : config : Added example use when run without argument,extend help

[Bhaskar Chowdhury <unixbhaskar@gmail.com>]

This patch extends the help section by adding an explicit example of use.

Signed-off-by: Bhaskar Chowdhury <unixbhaskar@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