diff options
| author |   Cedric Hombourger <Cedric_Hombourger@mentor.com> | 2019-07-09 09:43:35 +0200 |
|---|---|---|
| committer |   Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-07-17 10:25:10 +0900 |
| commit | 5a46421789f46165416d2b4834647b153c231c55 (patch) | |
| tree | 4dae6853dca3434db97c97840bca9e0c494139e8 /scripts/package/mkdebian | |
| parent | kconfig: run olddefconfig instead of oldconfig after merging fragments (diff) | |
| download | linux-dev-5a46421789f46165416d2b4834647b153c231c55.tar.xz linux-dev-5a46421789f46165416d2b4834647b153c231c55.zip | |
builddeb: generate multi-arch friendly linux-libc-dev package
Debian-based distributions place libc header files in a machine
specific directory (/usr/include/<libc-machine>) instead of
/usr/include/asm to support installation of the linux-libc-dev
package from multiple architectures. Move headers installed by
"make headers_install" accordingly using Debian's tuple from
dpkg-architecture (stored in debian/arch).
Signed-off-by: Cedric Hombourger <Cedric_Hombourger@mentor.com>
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
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 8351584cb24e..e0750b70453f 100755 --- a/scripts/package/mkdebian +++ b/scripts/package/mkdebian @@ -197,6 +197,7 @@ Architecture: $debarch Description: Linux support headers for userspace development This package provides userspaces headers from the Linux kernel. These headers are used by the installed headers for GNU glibc and other system libraries. +Multi-Arch: same Package: $dbg_packagename Section: debug |