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

From: Bhaskar Chowdhury
Date: Thu Sep 10 2020 - 17:59:10 EST


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

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