# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1637071655 -3600
# Node ID 422a880d1d00799af3c86243107a79cd34be7660
# Parent  d927b0b307c7e06c27789afeb24eebddbbe3b39c
kernel/linux-headers: removal

diff -r d927b0b307c7 -r 422a880d1d00 kernel/linux-headers/linux-headers.sh
--- 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
-}
diff -r d927b0b307c7 -r 422a880d1d00 kernel/linux-headers/linux-headers.sha1
--- 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
diff -r d927b0b307c7 -r 422a880d1d00 kernel/linux-headers/regenerate.sh
--- 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