From 3d5dee9a4fd1e5f81bec665d4d3b5e87172c5e4f Mon Sep 17 00:00:00 2001 From: Juan RP Date: Sat, 7 Mar 2015 20:43:16 +0100 Subject: [PATCH] linux3.19: update to 3.19.1. Also disable CONFIG_DEVKMEM; looks like we don't really need it. --- srcpkgs/linux3.19/files/i386-dotconfig | 2 +- srcpkgs/linux3.19/files/x86_64-dotconfig | 2 +- srcpkgs/linux3.19/template | 10 +++++----- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/srcpkgs/linux3.19/files/i386-dotconfig b/srcpkgs/linux3.19/files/i386-dotconfig index dd8eaf41e6d..dddcc2c695a 100644 --- a/srcpkgs/linux3.19/files/i386-dotconfig +++ b/srcpkgs/linux3.19/files/i386-dotconfig @@ -2976,7 +2976,7 @@ CONFIG_N_HDLC=m CONFIG_N_GSM=m CONFIG_TRACE_ROUTER=m CONFIG_TRACE_SINK=m -CONFIG_DEVKMEM=y +# CONFIG_DEVKMEM is not set # # Serial drivers diff --git a/srcpkgs/linux3.19/files/x86_64-dotconfig b/srcpkgs/linux3.19/files/x86_64-dotconfig index d981774b2e2..943774c6f78 100644 --- a/srcpkgs/linux3.19/files/x86_64-dotconfig +++ b/srcpkgs/linux3.19/files/x86_64-dotconfig @@ -2974,7 +2974,7 @@ CONFIG_N_HDLC=m CONFIG_N_GSM=m CONFIG_TRACE_ROUTER=m CONFIG_TRACE_SINK=m -CONFIG_DEVKMEM=y +# CONFIG_DEVKMEM is not set # # Serial drivers diff --git a/srcpkgs/linux3.19/template b/srcpkgs/linux3.19/template index 16978d16858..75f07be2bd5 100644 --- a/srcpkgs/linux3.19/template +++ b/srcpkgs/linux3.19/template @@ -1,15 +1,15 @@ # Template file for 'linux3.19' # pkgname=linux3.19 -version=3.19.0 -revision=4 -wrksrc="linux-${version%.*}" +version=3.19.1 +revision=1 +wrksrc="linux-${version}" maintainer="Juan RP " homepage="http://www.kernel.org" license="GPL-2" short_desc="The Linux kernel and modules (${version%.*} series)" -distfiles="http://www.kernel.org/pub/linux/kernel/v3.x/linux-${version%.*}.tar.xz" -checksum=be42511fe5321012bb4a2009167ce56a9e5fe362b4af43e8c371b3666859806c +distfiles="http://www.kernel.org/pub/linux/kernel/v3.x/linux-${version}.tar.xz" +checksum=717f36a65735bdd7afcb452578cc221c7fde8f6a0073e2feb62473466bdfa763 nodebug=yes nostrip=yes