diff options
| author | Masahiro Yamada <masahiroy@kernel.org> | 2024-10-22 21:16:59 +0300 |
|---|---|---|
| committer | Masahiro Yamada <masahiroy@kernel.org> | 2024-10-31 15:41:02 +0300 |
| commit | 2ad7126c5190864e928154ef74e0ae6cbdcea783 (patch) | |
| tree | 4787ba1725c96047b3a3ed9dfbf41ef992970bd9 /scripts/package/mkdebian | |
| parent | e2c318225ac13083cdcb4780cdf5b90edaa8644d (diff) | |
| download | linux-2ad7126c5190864e928154ef74e0ae6cbdcea783.tar.xz | |
kbuild: deb-pkg: add pkg.linux-upstream.nokerneldbg build profile
The Debian kernel supports the pkg.linux.nokerneldbg build profile.
The debug package tends to become huge, and you may not want to build
it even when CONFIG_DEBUG_INFO is enabled.
This commit introduces a similar profile for the upstream kernel.
Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
Reviewed-by: Nicolas Schier <nicolas@fjasle.eu>
Diffstat (limited to 'scripts/package/mkdebian')
| -rwxr-xr-x | scripts/package/mkdebian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/package/mkdebian b/scripts/package/mkdebian index 93eb50356ddb..fc3b7fa709fc 100755 --- a/scripts/package/mkdebian +++ b/scripts/package/mkdebian @@ -245,6 +245,7 @@ cat <<EOF >> debian/control Package: linux-image-$version-dbg Section: debug Architecture: $debarch +Build-Profiles: <!pkg.${sourcename}.nokerneldbg> Description: Linux kernel debugging symbols for $version This package will come in handy if you need to debug the kernel. It provides all the necessary debug symbols for the kernel and its modules. |