diff options
author | Daniel Bermond | 2018-09-21 19:45:53 +0000 |
---|---|---|
committer | Daniel Bermond | 2018-09-21 19:47:33 +0000 |
commit | b6815c67e6d38f82684b0854703d58dc3d11da5b (patch) | |
tree | 79ae2c25d971f33005869805178f78816fc97b45 /linux.install | |
parent | 98e3c6cc41febd43b2cdfaa8ae37948bcda8fac8 (diff) | |
download | aur-b6815c67e6d38f82684b0854703d58dc3d11da5b.tar.gz |
Updated to version 4.18.9
Diffstat (limited to 'linux.install')
-rw-r--r-- | linux.install | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/linux.install b/linux.install index d13105b4b096..f1f033b4e9ef 100644 --- a/linux.install +++ b/linux.install @@ -1,31 +1,12 @@ -post_install () { - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod %KERNVER% - if [ "$(uname -m)" = "armv7l" ]; then - echo ">>> WARNING: Using this kernel requires an updated U-Boot!" - fi -} - post_upgrade() { - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod %KERNVER% if [ "$(uname -m)" = "x86_64" ] || [ "$(uname -m)" = "i686" ]; then 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 - - if [ $(vercmp $2 3.13) -lt 0 ]; then - echo ">>> WARNING: AT keyboard support is no longer built into the kernel." - echo ">>> In order to use your keyboard during early init, you MUST" - echo ">>> include the 'keyboard' hook in your mkinitcpio.conf." - fi fi } post_remove() { - # also remove the compat symlinks rm -f boot/initramfs-%PKGBASE%.img rm -f boot/initramfs-%PKGBASE%-fallback.img } |