diff options
| author | Riku Voipio <riku.voipio@linaro.org> | 2017-09-29 21:35:15 +0300 |
|---|---|---|
| committer | Riku Voipio <riku.voipio@linaro.org> | 2018-02-12 12:54:20 +0200 |
| commit | cbd2a717cbd16fac966cbf0cd679945602489b76 (patch) | |
| tree | 078117ea4c09783868dde0a8ad15c821953691a6 | |
| parent | d33d218aab22ecd46b7f3bf258b8f798ecaf2103 (diff) | |
| download | 96b-common-cbd2a717cbd16fac966cbf0cd679945602489b76.tar.gz | |
builddeb: drop linux-libc-dev
Debian sid will always have newer linux-libc-dev, so don't build
this package.
Signed-off-by: Riku Voipio <riku.voipio@linaro.org>
Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
| -rwxr-xr-x | scripts/package/builddeb | 1 | ||||
| -rwxr-xr-x | scripts/package/mkdebian | 8 |
2 files changed, 0 insertions, 9 deletions
diff --git a/scripts/package/builddeb b/scripts/package/builddeb index 9dd31f5d5395..47285dd23d10 100755 --- a/scripts/package/builddeb +++ b/scripts/package/builddeb @@ -175,7 +175,6 @@ rm -f "$objtree/debian/hdrsrcfiles" "$objtree/debian/hdrobjfiles" if [ "$ARCH" != "um" ]; then create_package "$kernel_headers_packagename" "$kernel_headers_dir" - create_package "$libc_headers_packagename" "$libc_headers_dir" fi create_package "$packagename" "$tmpdir" diff --git a/scripts/package/mkdebian b/scripts/package/mkdebian index 0c154a211133..408bae9def12 100755 --- a/scripts/package/mkdebian +++ b/scripts/package/mkdebian @@ -154,14 +154,6 @@ Description: Linux kernel headers for $version on $debarch . This is useful for people who need to build external modules -Package: linux-libc-dev -Section: devel -Provides: linux-kernel-headers -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. - Package: $dbg_packagename Section: debug Architecture: $debarch |