aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRiku Voipio <riku.voipio@linaro.org>2017-09-29 21:35:15 +0300
committerRiku Voipio <riku.voipio@linaro.org>2018-02-12 12:54:20 +0200
commitcbd2a717cbd16fac966cbf0cd679945602489b76 (patch)
tree078117ea4c09783868dde0a8ad15c821953691a6
parentd33d218aab22ecd46b7f3bf258b8f798ecaf2103 (diff)
download96b-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-xscripts/package/builddeb1
-rwxr-xr-xscripts/package/mkdebian8
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