summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorKyle De'Vir2019-06-21 02:44:24 +1000
committerKyle De'Vir2019-06-21 02:44:24 +1000
commit503c2b561e74b366c170effdb0358ddd05efd32c (patch)
tree0027b42105b5201a70061e25709d6974f68bba85
parente43b8949f2323826b497dc07928f6cd8c1b856de (diff)
downloadaur-503c2b561e74b366c170effdb0358ddd05efd32c.tar.gz
5.1.12
-rw-r--r--.SRCINFO12
-rw-r--r--PKGBUILD2
2 files changed, 7 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index cd8e0d1080fa..00489e53052c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,5 +1,5 @@
pkgbase = linux-pds
- pkgver = 5.1.11.arch1
+ pkgver = 5.1.12.arch1
pkgrel = 1
url = https://git.archlinux.org/linux.git/log/?h=v
arch = x86_64
@@ -11,7 +11,7 @@ pkgbase = linux-pds
makedepends = libelf
makedepends = git
options = !strip
- source = git+https://git.archlinux.org/linux?signed#tag=v5.1.11-arch1
+ source = git+https://git.archlinux.org/linux?signed#tag=v5.1.12-arch1
source = git+https://github.com/graysky2/kernel_gcc_patch
source = config
source = 60-linux.hook
@@ -44,11 +44,11 @@ pkgname = linux-pds
pkgname = linux-pds-headers
pkgdesc = Header files and scripts for building modules for Linux-pds kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG
- provides = linux-pds-headers=5.1.11.arch1
- provides = linux-headers=5.1.11.arch1
+ provides = linux-pds-headers=5.1.12.arch1
+ provides = linux-headers=5.1.12.arch1
pkgname = linux-pds-docs
pkgdesc = Kernel hackers manual - HTML documentation that comes with the Linux-pds kernel ~ featuring Alfred Chen's PDS CPU scheduler, rebased by TkG
- provides = linux-pds-docs=5.1.11.arch1
- provides = linux-docs=5.1.11.arch1
+ provides = linux-pds-docs=5.1.12.arch1
+ provides = linux-docs=5.1.12.arch1
diff --git a/PKGBUILD b/PKGBUILD
index a9211b854e73..e5aa2124d919 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -65,7 +65,7 @@ _subarch=
_localmodcfg=
pkgbase=linux-pds
-_srcver_tag=5.1.11-arch1
+_srcver_tag=5.1.12-arch1
pkgver="${_srcver_tag//-/.}"
pkgrel=1
arch=(x86_64)