diff --git a/[refs] b/[refs] index a6c1c5b09229..9d763c47e49a 100644 --- a/[refs] +++ b/[refs] @@ -1,2 +1,2 @@ --- -refs/heads/master: 47312d2cfd9b769c1739738602c163c4c9814c7b +refs/heads/master: 1f990cf94559e0a7363d56aade1d5dc6c515b60b diff --git a/trunk/scripts/config b/trunk/scripts/config index 640c6fe4d644..608d7fdb13e8 100755 --- a/trunk/scripts/config +++ b/trunk/scripts/config @@ -9,8 +9,10 @@ config options command ... commands: --enable|-e option Enable option --disable|-d option Disable option - --module|-m option Turn option into a module - --state|-s option Print state of option (n,y,m,undef) + --module|-m option Turn option into a module + --set-str option value + Set option to "value" + --state|-s option Print state of option (n,y,m,undef) --enable-after|-E beforeopt option Enable option directly after other option @@ -102,6 +104,11 @@ while [ "$1" != "" ] ; do set_var "CONFIG_$ARG" "CONFIG_$ARG=m" ;; + --set-str) + set_var "CONFIG_$ARG" "CONFIG_$ARG=\"$1\"" + shift + ;; + --state|-s) if grep -q "# CONFIG_$ARG is not set" $FN ; then echo n