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

Signed-off-by: Bhaskar Chowdhury <unixbhas...@gmail.com>
---
 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

Reply via email to