diff options
Diffstat (limited to 'scripts/config')
-rwxr-xr-x | scripts/config | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/scripts/config b/scripts/config index 608d7fdb13e8..a7c7c4b8e957 100755 --- a/scripts/config +++ b/scripts/config | |||
@@ -10,8 +10,10 @@ 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 | --set-str option value | 13 | --set-str option string |
14 | Set option to "value" | 14 | Set option to "string" |
15 | --set-val option value | ||
16 | Set option to value | ||
15 | --state|-s option Print state of option (n,y,m,undef) | 17 | --state|-s option Print state of option (n,y,m,undef) |
16 | 18 | ||
17 | --enable-after|-E beforeopt option | 19 | --enable-after|-E beforeopt option |
@@ -86,7 +88,7 @@ while [ "$1" != "" ] ; do | |||
86 | B=$ARG | 88 | B=$ARG |
87 | shift 2 | 89 | shift 2 |
88 | ;; | 90 | ;; |
89 | --*) | 91 | -*) |
90 | checkarg "$1" | 92 | checkarg "$1" |
91 | shift | 93 | shift |
92 | ;; | 94 | ;; |
@@ -109,6 +111,11 @@ while [ "$1" != "" ] ; do | |||
109 | shift | 111 | shift |
110 | ;; | 112 | ;; |
111 | 113 | ||
114 | --set-val) | ||
115 | set_var "CONFIG_$ARG" "CONFIG_$ARG=$1" | ||
116 | shift | ||
117 | ;; | ||
118 | |||
112 | --state|-s) | 119 | --state|-s) |
113 | if grep -q "# CONFIG_$ARG is not set" $FN ; then | 120 | if grep -q "# CONFIG_$ARG is not set" $FN ; then |
114 | echo n | 121 | echo n |