diff options
author | Björn Bidar | 2017-11-21 22:37:09 +0100 |
---|---|---|
committer | Björn Bidar | 2017-11-21 22:38:57 +0100 |
commit | 1480c2862617337e1455b717c80ac8e084adf955 (patch) | |
tree | 07c0a8c1b4b36e6c310fd6098f2f909c649711a9 /linux.install | |
parent | 7c7c7fdf0e430e9d790a2f038f3639792ea937a8 (diff) | |
download | aur-1480c2862617337e1455b717c80ac8e084adf955.tar.gz |
upkg
Diffstat (limited to 'linux.install')
-rw-r--r-- | linux.install | 13 |
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() { |