Mercurial > vanilla

changeset 1290:422a880d1d00

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
kernel/linux-headers: removal
author David Demelier <markand@malikania.fr>
date Tue, 16 Nov 2021 15:07:35 +0100
parents d927b0b307c7
children a9335125bc38
files kernel/linux-headers/linux-headers.sh kernel/linux-headers/linux-headers.sha1 kernel/linux-headers/regenerate.sh
diffstat 3 files changed, 0 insertions(+), 58 deletions(-) [+]
line wrap: on
line diff
--- a/kernel/linux-headers/linux-headers.sh	Tue Nov 16 15:06:32 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-#!/bin/sh
-#
-# Copyright (c) 2019 David Demelier <markand@malikania.fr>
-#
-# Permission to use, copy, modify, and/or distribute this software for any
-# purpose with or without fee is hereby granted, provided that the above
-# copyright notice and this permission notice appear in all copies.
-#
-# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
-# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
-# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
-# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
-# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
-# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-#
-
-PKGNAME=linux-headers
-PKGVERSION=5.14.15
-PKGREVISION=1
-PKGLICENSE="GPL-2.0-only"
-PKGSUMMARY="kernel headers for userspace"
-PKGDOWNLOAD="http://files.malikania.fr/distfiles/$PKGNAME-$PKGVERSION.tar.gz"
-
-build()
-{
-	mkdir -p $DESTDIR
-	tar -xvf $PKGNAME-$PKGVERSION.tar.gz -C $DESTDIR
-}
--- a/kernel/linux-headers/linux-headers.sha1	Tue Nov 16 15:06:32 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-f490eac80a2580a4a42c6e609cbabcd5a49506c5  linux-headers-5.14.15.tar.gz
--- a/kernel/linux-headers/regenerate.sh	Tue Nov 16 15:06:32 2021 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-#!/bin/sh
-#
-# Copyright (c) 2019 David Demelier <markand@malikania.fr>
-#
-# Permission to use, copy, modify, and/or distribute this software for any
-# purpose with or without fee is hereby granted, provided that the above
-# copyright notice and this permission notice appear in all copies.
-#
-# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
-# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
-# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
-# ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
-# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
-# ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
-# OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
-#
-
-# Regenerate the pre-generated headers.
-set -e
-. ./linux-headers.sh
-
-rm -rf linux-$PKGVERSION.tar.xz linux-$PKGVERSION
-wget https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-$PKGVERSION.tar.xz
-tar -xf linux-$PKGVERSION.tar.xz
-make -C linux-$PKGVERSION INSTALL_HDR_PATH=../ headers_install
-rm -rf linux-$PKGVERSION.tar.xz
-tar -czf linux-headers-$PKGVERSION.tar.gz include
-rm -rf linux-$PKGVERSION.tar.xz linux-$PKGVERSION include