[PATCH v2 1/1] builddeb: introduce profile excluding the dbg pkg
From: Bastian Germann
Date: Mon Mar 06 2023 - 17:32:41 EST
Enabling CONFIG_DEBUG_INFO implies building the binary linux-image-*-dbg.
As this increases package build time significantly, one might want to
exclude it from being built.
Add build profile pkg.$sourcename.nokerneldbg for that package
so it can be excluded via e.g.
`make DPKG_FLAGS="-P=pkg.linux-upstream.nokerneldbg" deb-pkg`
The name is the same that is used in Debian's linux package since version
5.17~rc4-1~exp1.
Link: https://wiki.debian.org/BuildProfileSpec
Link: https://salsa.debian.org/kernel-team/linux/-/commit/140798ec2789
Signed-off-by: Bastian Germann <bage@xxxxxxxxxxxxx>
---
scripts/package/mkdebian | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/package/mkdebian b/scripts/package/mkdebian
index f74380036bb5..8a7969926e53 100755
--- a/scripts/package/mkdebian
+++ b/scripts/package/mkdebian
@@ -227,6 +227,7 @@ if is_enabled CONFIG_DEBUG_INFO; then
cat <<EOF >> debian/control
Package: linux-image-$version-dbg
+Build-Profiles: <!pkg.$sourcename.nokerneldbg>
Section: debug
Architecture: $debarch
Description: Linux kernel debugging symbols for $version
--
2.39.2