diff options
| author | jc_gargma <jc_gargma@iserlohn-fortress.net> | 2017-12-09 12:47:58 -0800 |
|---|---|---|
| committer | jc_gargma <jc_gargma@iserlohn-fortress.net> | 2017-12-09 12:47:58 -0800 |
| commit | 37f40db76b3632ae6766a6ab6beb1a5affd345d3 (patch) | |
| tree | 637ebc080684fc4015e1523b07e3059ad9a77fee /linux.install | |
| parent | Updated to 4.9.66 (diff) | |
| download | linux-libre-unofficial_grsec-37f40db76b3632ae6766a6ab6beb1a5affd345d3.tar.xz | |
Updated to 4.9.67, synced partly with upstream
Diffstat (limited to 'linux.install')
| -rw-r--r-- | linux.install | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/linux.install b/linux.install index 40aeaea..0462775 100644 --- a/linux.install +++ b/linux.install @@ -5,18 +5,19 @@ 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 %KERNVER% - 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 + 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 } post_remove() { |