linux3.19: update to 3.19.1.
Also disable CONFIG_DEVKMEM; looks like we don't really need it.
This commit is contained in:
parent
ef7d634e38
commit
3d5dee9a4f
3 changed files with 7 additions and 7 deletions
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
|
@ -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 <xtraeme@gmail.com>"
|
||||
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
|
||||
|
|
Loading…
Reference in a new issue