diff options
| author | Yann E. MORIN <yann.morin.1998@free.fr> | 2012-06-08 01:48:57 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2012-06-28 10:38:54 +0200 |
| commit | d5bfb6b3814b2c9cd83e9395a60fc4b4e42a242d (patch) | |
| tree | 91039e78c89964bdba0089b4c781ac8cf1a0ab27 /scripts/config | |
| parent | f5ef2f7bf2e389f5c94d69e09268356f4c2b8220 (diff) | |
scripts/config: add option to undef a symbol
It is currently possible to enable, disable or modularise
a symbol. Also, an undefined symbol is reported as such.
Add a new command to undefine a symbol, by removing the
corresponding line from the .config file.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/config')
| -rwxr-xr-x | scripts/config | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/config b/scripts/config index 9723c7de07c..f65a44a7886 100755 --- a/scripts/config +++ b/scripts/config @@ -17,6 +17,7 @@ commands: Set option to "string" --set-val option value Set option to value + --undefine|-u option Undefine option --state|-s option Print state of option (n,y,m,undef) --enable-after|-E beforeopt option @@ -73,6 +74,12 @@ set_var() { fi } +undef_var() { + local name=$1 + + sed -ri "/^($name=|# $name is not set)/d" "$FN" +} + if [ "$1" = "--file" ]; then FN="$2" if [ "$FN" = "" ] ; then @@ -134,6 +141,9 @@ while [ "$1" != "" ] ; do set_var "${CONFIG_}$ARG" "${CONFIG_}$ARG=$1" shift ;; + --undefine|-u) + undef_var "${CONFIG_}$ARG" + ;; --state|-s) if grep -q "# ${CONFIG_}$ARG is not set" $FN ; then |