summarylogtreecommitdiffstats
path: root/linux.install
diff options
context:
space:
mode:
authorBjörn Bidar2017-11-21 22:37:09 +0100
committerBjörn Bidar2017-11-21 22:38:57 +0100
commit1480c2862617337e1455b717c80ac8e084adf955 (patch)
tree07c0a8c1b4b36e6c310fd6098f2f909c649711a9 /linux.install
parent7c7c7fdf0e430e9d790a2f038f3639792ea937a8 (diff)
downloadaur-1480c2862617337e1455b717c80ac8e084adf955.tar.gz
upkg
Diffstat (limited to 'linux.install')
-rw-r--r--linux.install13
1 files changed, 1 insertions, 12 deletions
diff --git a/linux.install b/linux.install
index f872bc6a4d62..8a829e473b52 100644
--- a/linux.install
+++ b/linux.install
@@ -3,17 +3,13 @@
# arg 2: the old package version
KERNEL_NAME=-pf
-KERNEL_VERSION=4.13.13-pf
+KERNEL_VERSION=4.14.2-pf
# set a sane PATH to ensure that critical utils like depmod will be found
export PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'
post_install () {
- # updating module dependencies
- echo ">>> Updating module dependencies. Please wait ..."
- depmod ${KERNEL_VERSION}
-
# compat symlinks for the official kernels only
if [ -z "${KERNEL_NAME}" -o "${KERNEL_NAME}" = "-lts" ]; then
loaders="$(find /boot -name syslinux.cfg -or -name extlinux.conf -or -name grub.cfg -or -name menu.lst)"
@@ -29,16 +25,9 @@ post_install () {
}
post_upgrade() {
-
-
if findmnt --fstab -uno SOURCE /boot &>/dev/null && ! mountpoint -q /boot; then
echo "WARNING: /boot appears to be a separate partition but is not mounted."
fi
-
- # updating module dependencies
- echo ">>> Updating module dependencies. Please wait ..."
- depmod ${KERNEL_VERSION}
-
}
post_remove() {