diff --git a/[refs] b/[refs] index 3a7c5bdb0cde..4915a1ebd2e6 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: d52784eb3607bf887628742f99041b4f18d7d1de +refs/heads/master: f0a6332ce221614fbd0731af92f668892fa4b700 diff --git a/trunk/scripts/config b/trunk/scripts/config index dfd4732f7099..a7c7c4b8e957 100755 --- a/trunk/scripts/config +++ b/trunk/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