diff options
| -rwxr-xr-x | scripts/config | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/scripts/config b/scripts/config index 640c6fe4d644..608d7fdb13e8 100755 --- a/scripts/config +++ b/scripts/config | |||
| @@ -9,8 +9,10 @@ config options command ... | |||
| 9 | commands: | 9 | commands: |
| 10 | --enable|-e option Enable option | 10 | --enable|-e option Enable option |
| 11 | --disable|-d option Disable option | 11 | --disable|-d option Disable option |
| 12 | --module|-m option Turn option into a module | 12 | --module|-m option Turn option into a module |
| 13 | --state|-s option Print state of option (n,y,m,undef) | 13 | --set-str option value |
| 14 | Set option to "value" | ||
| 15 | --state|-s option Print state of option (n,y,m,undef) | ||
| 14 | 16 | ||
| 15 | --enable-after|-E beforeopt option | 17 | --enable-after|-E beforeopt option |
| 16 | Enable option directly after other option | 18 | Enable option directly after other option |
| @@ -102,6 +104,11 @@ while [ "$1" != "" ] ; do | |||
| 102 | set_var "CONFIG_$ARG" "CONFIG_$ARG=m" | 104 | set_var "CONFIG_$ARG" "CONFIG_$ARG=m" |
| 103 | ;; | 105 | ;; |
| 104 | 106 | ||
| 107 | --set-str) | ||
| 108 | set_var "CONFIG_$ARG" "CONFIG_$ARG=\"$1\"" | ||
| 109 | shift | ||
| 110 | ;; | ||
| 111 | |||
| 105 | --state|-s) | 112 | --state|-s) |
| 106 | if grep -q "# CONFIG_$ARG is not set" $FN ; then | 113 | if grep -q "# CONFIG_$ARG is not set" $FN ; then |
| 107 | echo n | 114 | echo n |
