diff options
author | Andi Kleen <andi@firstfloor.org> | 2009-01-03 03:21:41 +0100 |
---|---|---|
committer | Sam Ravnborg <sam@ravnborg.org> | 2009-01-07 21:44:22 +0100 |
commit | 8e54701ea85b0ab0971637825a628f5aa2b678a4 (patch) | |
tree | 5763cf394b3a2f096fef6b2330a3dc19d63bcc44 /sound | |
parent | 4f628248a578585472e19e4cba2c604643af8c6c (diff) |
kconfig: add script to manipulate .config files on the command line
I often change single options in .config files. Instead of using
an editor or one of the frontends it's convenient to do this from
the command line. It's also useful to do from automated build scripts
when building different variants from a base config file.
I extracted most of the CONFIG manipulation code from one of my
build scripts into a new shell script scripts/config
The script is not integrated with the normal Kconfig machinery
and doesn't do any checking against Kconfig files, but just manipulates
that text format. This is always done at make time anyways.
I believe this script would be a useful standard addition for scripts/*
Sample usage:
./scripts/config --disable smp
Disable SMP in .config file
./scripts/config --file otherdir/.config --module e1000e
Enable E1000E as module in otherdir/.config
./scripts/config --state smp
y
Check state of config option CONFIG_SMP
After merging into git please make scripts/config executable
Signed-off-by: Andi Kleen <ak@linux.intel.com>
Signed-off-by: Sam Ravnborg <sam@ravnborg.org>
Diffstat (limited to 'sound')
0 files changed, 0 insertions, 0 deletions