[PATCH 2/2] UBUNTU: config -- allow locally specified configuration overrides
Colin Ian King
colin.king at canonical.com
Thu Mar 18 13:45:46 UTC 2010
OK, seems fine to me.
On Wed, 2010-03-17 at 17:01 +0000, Andy Whitcroft wrote:
> When updating configuration you often want to bulk update specific options
> in every configuration. For new options this is trivial as you can simply
> add them to config.common.<family>. For existing options you need to
> either remove the options globally and then add them, or add them to
> every flavour file. This is particularly problematic for mainline builds.
> Add support for a new $(DEBIAN)/config/OVERRIDES file which if present is
> appended to the built configs before processing, providing an absolute
> override for all configurations. This is not expected to be present in
> the normal case.
> Signed-off-by: Andy Whitcroft <apw at canonical.com>
Acked-by: Colin King <colin.king at canonical.com>
> debian/scripts/misc/kernelconfig | 3 +++
> 1 files changed, 3 insertions(+), 0 deletions(-)
> diff --git a/debian/scripts/misc/kernelconfig b/debian/scripts/misc/kernelconfig
> index 936680c..71c0f5e 100755
> --- a/debian/scripts/misc/kernelconfig
> +++ b/debian/scripts/misc/kernelconfig
> @@ -73,6 +73,9 @@ for arch in $archs; do
> cat $archconfdir/config.common.$arch >> "$fullconf"
> cat "$archconfdir/$config" >>"$fullconf"
> + if [ -f $confdir/OVERRIDES ]; then
> + cat $confdir/OVERRIDES >> "$fullconf"
> + fi
More information about the kernel-team