[PATCH 2/2] UBUNTU: config -- allow locally specified configuration overrides

Andy Whitcroft apw at canonical.com
Wed Mar 17 17:01:17 UTC 2010

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>
 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 mailing list