diff options
Diffstat (limited to 'kernels/linux-libre-rt/linux.install')
-rw-r--r-- | kernels/linux-libre-rt/linux.install | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/kernels/linux-libre-rt/linux.install b/kernels/linux-libre-rt/linux.install index 3ab31da58..bd40bcc5f 100644 --- a/kernels/linux-libre-rt/linux.install +++ b/kernels/linux-libre-rt/linux.install @@ -8,7 +8,7 @@ post_install () { # updating module dependencies echo ">>> Updating module dependencies. Please wait ..." depmod ${KERNEL_VERSION} - if [ "$(uname -m)" = "armv7h" ]; then + if [ "$(uname -m)" = "armv7l" ]; then echo ">>> NOTE: Using this kernel requires GRUB!" echo ">>> See the Migration Guide for instructions:" echo ">>> https://wiki.parabola.nu/Migration_from_Arch_ARM#GRUB" @@ -19,18 +19,14 @@ post_install () { } post_upgrade() { - if [ "$(uname -m)" = "armv7h" ]; then - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod ${KERNEL_VERSION} - elif [ "$(uname -m)" = "x86_64" ] || [ "$(uname -m)" = "i686" ]; then + # updating module dependencies + echo ">>> Updating module dependencies. Please wait ..." + depmod ${KERNEL_VERSION} + 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 - # updating module dependencies - echo ">>> Updating module dependencies. Please wait ..." - depmod ${KERNEL_VERSION} echo ">>> Generating initial ramdisk, using mkinitcpio. Please wait..." mkinitcpio -p linux-libre${KERNEL_NAME} |