1 files changed, 9 insertions, 2 deletions

diff --git a/scripts/config b/scripts/config
index dfd4732f7099..a7c7c4b8e957 100755
--- a/scripts/config
+++ b/scripts/config
@@ -10,8 +10,10 @@ commands:
         --enable|-e option   Enable option
         --disable|-d option  Disable option
         --module|-m option   Turn option into a module
-        --set-str option value
-                             Set option to "value"
+        --set-str option string
+                             Set option to "string"
+        --set-val option value
+                             Set option to value
         --state|-s option    Print state of option (n,y,m,undef)
 
         --enable-after|-E beforeopt option
@@ -109,6 +111,11 @@ while [ "$1" != "" ] ; do
                 shift
                 ;;
 
+        --set-val)
+                set_var "CONFIG_$ARG" "CONFIG_$ARG=$1"
+                shift
+                ;;
+
         --state|-s)
                 if grep -q "# CONFIG_$ARG is not set" $FN ; then
                         echo n