changeset 1149:ee4b956157fe

kernel/linux-headers: rename from lib/linux-headers
author David Demelier <markand@malikania.fr>
date Wed, 25 Sep 2019 21:10:00 +0200
parents d7b018839eaa
children e3e1828b8f15
files kernel/linux-headers/linux-headers.sh kernel/linux-headers/linux-headers.sha1 lib/linux-headers/linux-headers.sh lib/linux-headers/linux-headers.sha1
diffstat 4 files changed, 30 insertions(+), 30 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/linux-headers/linux-headers.sh	Wed Sep 25 21:10:00 2019 +0200
@@ -0,0 +1,29 @@
+#!/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.3.1
+PKGREVISION=1
+PKGLICENSE="GPLv20"
+PKGSUMMARY="kernel headers for userspace"
+PKGDOWNLOAD="http://files.malikania.fr/distfiles/$PKGNAME-$PKGVERSION.tar.xz"
+
+build()
+{
+	mkdir -p $DESTDIR
+	tar xvf $PKGNAME-$PKGVERSION.tar.xz -C $DESTDIR
+}
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/kernel/linux-headers/linux-headers.sha1	Wed Sep 25 21:10:00 2019 +0200
@@ -0,0 +1,1 @@
+0a5e55ab6419811bfcb7207cc74162c4412dd0f3  linux-headers-5.3.1.tar.xz
--- a/lib/linux-headers/linux-headers.sh	Wed Sep 25 21:05:00 2019 +0200
+++ /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.0.8
-PKGREVISION=1
-PKGLICENSE="GPLv20"
-PKGSUMMARY="kernel headers for userspace"
-PKGDOWNLOAD="http://files.malikania.fr/distfiles/linux-headers-5.0.8.tar.xz"
-
-build()
-{
-	mkdir -p $DESTDIR
-	tar xvf $PKGNAME-$PKGVERSION.tar.xz -C $DESTDIR
-}
--- a/lib/linux-headers/linux-headers.sha1	Wed Sep 25 21:05:00 2019 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-a33ddc51c3d4ff6c7c2b35e8347fef33d38c3bbd  linux-headers-5.0.8.tar.xz